diff options
Diffstat (limited to 'source4/autogen-waf.sh')
| -rwxr-xr-x | source4/autogen-waf.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/source4/autogen-waf.sh b/source4/autogen-waf.sh index a3aa979f51..7a6e94c5ec 100755 --- a/source4/autogen-waf.sh +++ b/source4/autogen-waf.sh @@ -12,14 +12,13 @@ while test \! -d "$p/$d"; do d="../$d"; done echo "Found buildtools in $p/$d" echo "Setting up configure" -rm -f $p/configure +rm -f $p/configure $p/include/config*.h* sed "s|BUILDTOOLS|$d|g;s|BUILDPATH|$p|g" < "$p/$d/scripts/configure.waf" > $p/configure chmod +x $p/configure -echo "Setting up makefile" -# this relies on the fact that make looks for 'makefile' before 'Makefile' -rm -f $p/makefile -sed "s|BUILDTOOLS|$d|g" < "$p/$d/scripts/Makefile.waf" > $p/makefile +echo "Setting up Makefile" +rm -f $p/makefile $p/Makefile +sed "s|BUILDTOOLS|$d|g" < "$p/$d/scripts/Makefile.waf" > $p/Makefile echo "done. Now run $p/configure or $p/configure.developer then make." if [ $p != "." ]; then |