changeset 6285:f13248459609

Fix mingwrt install
author Masamichi Hosoda <trueroad@users.noreply.github.com>
date Wed, 19 Nov 2014 22:27:20 +0900
parents 75f24dabcf13
children 20f45357eb77
files gub/specs/mingwrt-dev.py
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/gub/specs/mingwrt-dev.py	Wed Nov 19 21:11:15 2014 +0900
+++ b/gub/specs/mingwrt-dev.py	Wed Nov 19 22:27:20 2014 +0900
@@ -6,8 +6,7 @@
         self.system ('''
 mkdir -p %(install_prefix)s/include
 mkdir -p %(install_prefix)s/lib
-mkdir -p %(install_prefix)s/share
-mkdir -p %(install_prefix)s/doc
+mkdir -p %(install_prefix)s/share/doc
 cd %(srcdir)s/include/ && tar -C %(srcdir)s/include/ -cf - . | tar -C %(install_prefix)s/include/ -xf -
 cd %(srcdir)s/lib/ && tar -C %(srcdir)s/lib/ -cf - . | tar -C %(install_prefix)s/lib/ -xf -
 cd %(srcdir)s/share/ && tar -C %(srcdir)s/share/ -cf - . | tar -C %(install_prefix)s/share/ -xf -