5 if [ -f $PREVPATH/../../buildtools/bin/waf ]; then
6 WAF=../../buildtools/bin/waf
7 elif [ -f $PREVPATH/buildtools/bin/waf ]; then
8 WAF=./buildtools/bin/waf
10 echo "replace: Unable to find waf"
14 # using JOBS=1 gives maximum compatibility with
15 # systems like AIX which have broken threading in python
20 $WAF configure "$@" || exit 1