From 95dad25c78f1fea63dcd68411cd1dcbb845c3d75 Mon Sep 17 00:00:00 2001 From: Thomas Nagy Date: Sat, 20 Sep 2014 20:35:43 +0200 Subject: [PATCH] Issue 1485 again --- wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wscript b/wscript index f58c4182..4264aaf8 100644 --- a/wscript +++ b/wscript @@ -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()