waf.bat
author Raj Bhattacharjea <raj.b@gatech.edu>
Wed, 16 Apr 2008 12:40:46 -0400
changeset 2917 8ef8431d56d5
parent 779 fa5b85a032f9
permissions -rwxr-xr-x
Fix for bug 166

@python -x waf %* & exit /b