diff options
Diffstat (limited to 'buildtools/scripts/configure.waf')
| -rwxr-xr-x | buildtools/scripts/configure.waf | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/buildtools/scripts/configure.waf b/buildtools/scripts/configure.waf deleted file mode 100755 index a7d8d1dbd6..0000000000 --- a/buildtools/scripts/configure.waf +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -PREVPATH=`dirname $0` - -WAF=BUILDTOOLS/bin/waf - -# using JOBS=1 gives maximum compatibility with -# systems like AIX which have broken threading in python -JOBS=1 -export JOBS - -cd BUILDPATH || exit 1 -$WAF configure "$@" || exit 1 -cd $PREVPATH |