waf.bat
author Gustavo J. A. M. Carneiro <gjc@inescporto.pt>
Sun, 16 Mar 2008 14:35:32 +0000
changeset 2622 6440851b111a
parent 779 fa5b85a032f9
permissions -rwxr-xr-x
Make waf dist much more efficient.

@python -x waf %* & exit /b