waf.bat
author Nicola Baldo <nbaldo@cttc.es>
Fri, 09 Dec 2011 18:58:21 +0100
changeset 8481 da04dab4021a
parent 779 fa5b85a032f9
permissions -rwxr-xr-x
merge

@python -x waf %* & exit /b