diff options
Diffstat (limited to 'lib/replace/autogen-waf.sh')
| -rwxr-xr-x | lib/replace/autogen-waf.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lib/replace/autogen-waf.sh b/lib/replace/autogen-waf.sh deleted file mode 100755 index ee95847ef0..0000000000 --- a/lib/replace/autogen-waf.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -p=`dirname $0` - -echo "Setting up for waf build" - -echo "done. Now run $p/configure or $p/configure.developer then make." -if [ $p != "." ]; then - echo "Notice: The build invoke path is not the main directory! Use make with the parameter" - echo "-C $p. Example: make -C $p all" -fi |