diff options
Diffstat (limited to 'lib/replace/autogen-waf.sh')
| l---------[-rwxr-xr-x] | lib/replace/autogen-waf.sh | 23 |
1 files changed, 1 insertions, 22 deletions
diff --git a/lib/replace/autogen-waf.sh b/lib/replace/autogen-waf.sh index 9cb144afcf..99150f3a28 100755..120000 --- a/lib/replace/autogen-waf.sh +++ b/lib/replace/autogen-waf.sh @@ -1,22 +1 @@ -#!/bin/sh - -echo "Setting up for waf build" - -echo "Looking for the buildtools directory" - -d="buildtools" -while test \! -d $d; do d="../$d"; done - -echo "Found buildtools in $d" - -echo "Setting up configure" -rm -f configure -sed "s|BUILDTOOLS|$d|g" < "$d/scripts/configure.waf" > configure -chmod +x configure - -echo "Setting up makefile" -# this relies on the fact that make looks for 'makefile' before 'Makefile' -rm -f makefile -sed "s|BUILDTOOLS|$d|g" < "$d/scripts/Makefile.waf" > makefile - -echo "done. Now run ./configure or ./configure.developer then make" +../../buildtools/scripts/autogen-waf.sh
\ No newline at end of file |