diff options
author | Ryan Dahl <ry@tinyclouds.org> | 2009-10-02 19:05:42 +0400 |
---|---|---|
committer | Ryan Dahl <ry@tinyclouds.org> | 2009-10-02 19:05:42 +0400 |
commit | 84d2966377a757fca9760d3b8c57d5f2d74975e5 (patch) | |
tree | 27f978306f4dda48b96866ed23887c48d466dfbe /configure | |
parent | 763137e705376039f12d3927cfeb48e1dd7f2b40 (diff) |
Use waf-light instead of waf
This way there won't be strange tools/.waf-12343 directories hanging about.
All that waf needs to run is inside the tools/wafadmin directory.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index e9e31910f5e..2bf7c21af32 100755 --- a/configure +++ b/configure @@ -24,7 +24,7 @@ cd $WORKINGDIR WORKINGDIR=`pwd` cd $CUR_DIR -WAF="${WORKINGDIR}/tools/waf" +WAF="${WORKINGDIR}/tools/waf-light" # Checks for WAF. Honours $WAF if set. Stores path to 'waf' in $WAF. # Requires that $PYTHON is set. |