waf.bat
author Raj Bhattacharjea <raj.b@gatech.edu>
Thu, 29 Jan 2009 12:25:25 -0500
changeset 4232 8d2d1e6c390b
parent 779 fa5b85a032f9
permissions -rwxr-xr-x
Explicit cast and correction in wifi/RandomStream

@python -x waf %* & exit /b