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