From 23e98b81e08e75a8d10cf29cf569dbc30704c3e7 Mon Sep 17 00:00:00 2001
From: Thomas Nagy <tnagy2pow10@gmail.com>
Date: Sat, 20 Sep 2014 16:53:33 +0200
Subject: [PATCH] Issue 1485

---
 utils/waf.bat | 2 +-
 wscript       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/utils/waf.bat b/utils/waf.bat
index 99d2e49d..ecea1f7f 100644
--- a/utils/waf.bat
+++ b/utils/waf.bat
@@ -92,5 +92,5 @@ goto running
 
 @echo Using %PYTHON%
 
-"%PYTHON%" -x "%~dp0waf" %*  & Endlocal & exit /b
+"%PYTHON%" -x "%~dp0waf" %*  & Endlocal & exit /b %ERRORLEVEL%
 
diff --git a/wscript b/wscript
index 6dffb61a..f58c4182 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\n')
+			f.write('@python -x "%~dp0waf" %* & exit /b %ERRORLEVEL%\n')
 		finally:
 			f.close()