diff options
Diffstat (limited to 'lib/replace/configure')
| -rwxr-xr-x | lib/replace/configure | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/lib/replace/configure b/lib/replace/configure index 2d4aec724e..6a9f875511 100755 --- a/lib/replace/configure +++ b/lib/replace/configure @@ -2,7 +2,14 @@ PREVPATH=`dirname $0` -WAF=../../buildtools/bin/waf +if [ -f $PREVPATH/../../buildtools/bin/waf ]; then + WAF=../../buildtools/bin/waf +elif [ -f $PREVPATH/buildtools/bin/waf ]; then + WAF=./buildtools/bin/waf +else + echo "replace: Unable to find waf" + exit 1 +fi # using JOBS=1 gives maximum compatibility with # systems like AIX which have broken threading in python |