add waf.bat for convenience (waf itself still has to be manually copied from outside, though)
authorGustavo J. A. M. Carneiro <gjc@inescporto.pt>
Mon, 18 Jun 2007 10:53:48 +0100
changeset 779 fa5b85a032f9
parent 778 cc6436041287
child 780 2f41ca72e8c6
add waf.bat for convenience (waf itself still has to be manually copied from outside, though)
waf.bat
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/waf.bat	Mon Jun 18 10:53:48 2007 +0100
@@ -0,0 +1,1 @@
+@python -x waf %* & exit /b