From f82eb769f1fa2a8d79eb8f4fc9ac0df7f9d4f7bb Mon Sep 17 00:00:00 2001
From: jmoore <josh@glencoesoftware.com>
Date: Fri, 13 Jan 2012 09:42:13 +0100
Subject: [PATCH] shell=True on win32 finds the JDK (Fix #7734)

---
 build.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/build.py b/build.py
index b6a21acc79e..09df79bf30a 100755
--- a/build.py
+++ b/build.py
@@ -15,7 +15,13 @@
 
 def popen(args, stdin=None, stdout=subprocess.PIPE, stderr=subprocess.PIPE):
         copy = os.environ.copy()
-        return subprocess.Popen(args, env=copy, stdin=stdin, stdout=stdout, stderr=stderr)
+        shell = (sys.platform == "win32")
+        return subprocess.Popen(args,
+                env=copy,
+                stdin=stdin,
+                stdout=stdout,
+                stderr=stderr,
+                shell=shell)
 
 
 def execute(args):