diff options
Diffstat (limited to 'build_custom_waf.sh')
| -rw-r--r-- | build_custom_waf.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/build_custom_waf.sh b/build_custom_waf.sh deleted file mode 100644 index 69c6b97..0000000 --- a/build_custom_waf.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -# Run this script from the waf source directory to build a custom waf script -# which includes autowaf (and the other listed tools) - -if [ $# != 1 ]; then - echo "Error: Path to autowaf.py must be passed as only argument" - exit 1 -fi - -autowaf_py=$1 - -./waf-light -v --make-waf --tools=doxygen,swig,$autowaf_py --prelude='' |