2
0
mirror of https://gitlab.com/ita1024/waf.git synced 2024-11-22 01:46:15 +01:00

Issue 1485

This commit is contained in:
Thomas Nagy 2014-09-20 16:53:33 +02:00
parent 954056a782
commit 23e98b81e0
No known key found for this signature in database
GPG Key ID: 67A565EDFDF90E64
2 changed files with 2 additions and 2 deletions

View File

@ -92,5 +92,5 @@ goto running
@echo Using %PYTHON%
"%PYTHON%" -x "%~dp0waf" %* & Endlocal & exit /b
"%PYTHON%" -x "%~dp0waf" %* & Endlocal & exit /b %ERRORLEVEL%

View File

@ -394,7 +394,7 @@ def create_waf(*k, **kw):
if sys.platform == 'win32' or Options.options.make_batch:
f = open('waf.bat', 'w')
try:
f.write('@python -x "%~dp0waf" %* & exit /b\n')
f.write('@python -x "%~dp0waf" %* & exit /b %ERRORLEVEL%\n')
finally:
f.close()