From 30d0673873b65170ab3c59f00c1e2ecfe925dce0 Mon Sep 17 00:00:00 2001
From: WaffleSouffle <wafflesouffle@gmail.com>
Date: Tue, 4 Apr 2017 17:20:05 +0100
Subject: [PATCH] waf.bat changed to support Python3 installation on Windows.

---
 wscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wscript b/wscript
index 5cc46da5..10960200 100644
--- a/wscript
+++ b/wscript
@@ -425,7 +425,7 @@ def create_waf(self, *k, **kw):
 	if sys.platform == 'win32' or Options.options.make_batch:
 		f = open('waf.bat', 'w')
 		try:
-			f.write('@python -x "%~dp0waf" %*\n@exit /b %ERRORLEVEL%\n')
+			f.write('@setlocal\n@set PYEXE=python\n@where %PYEXE% 1>NUL 2>NUL\n@if %ERRORLEVEL% neq 0 set PYEXE=py\n@%PYEXE% -x "%~dp0waf" %*\n@exit /b %ERRORLEVEL%\n')
 		finally:
 			f.close()