add waf.bat for convenience (waf itself still has to be manually copied from outside, though)

Gustavo J. A. M. Carneiro 2007-06-18 10:53:48 +01:00
parent 5e703c70f7
commit 5f48c4e7f3
1 changed files with 1 additions and 0 deletions

1
waf.bat Executable file
View File

@ -0,0 +1 @@
@python -x waf %* & exit /b