FWGS/waf
2
0
Fork 0
mirror of https://gitlab.com/ita1024/waf.git synced 2024-11-22 01:46:15 +01:00
Code Issues Projects Releases Wiki Activity

Issue 1485 again

Browse Source
This commit is contained in:
Thomas Nagy 2014-09-20 20:35:43 +02:00
parent c182070bc5
commit 95dad25c78
No known key found for this signature in database
GPG Key ID: 67A565EDFDF90E64
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
wscript
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 %ERRORLEVEL%\n')
f.write('@python -x "%~dp0waf" %*\n@exit /b %ERRORLEVEL%\n')
finally:
f.close()