From 3c0a60e25126e81ad11f69215b33596b22c7c0eb Mon Sep 17 00:00:00 2001
From: Dhananjay Nakrani <dhananjaynakrani@gmail.com>
Date: Thu, 24 Sep 2015 13:27:56 -0700
Subject: [PATCH] Overwrite Shell=False for Servo.

---
 slave/build.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/slave/build.py b/slave/build.py
index a950dac..562365d 100644
--- a/slave/build.py
+++ b/slave/build.py
@@ -262,6 +262,16 @@ class ServoBuilder(Builder):
             args = [os.path.join('.', 'mach'), 'build' ,'--release']
             Run(args, self.env.get())
 
+    def build(self, puller):
+        # Call parent's build
+        super(ServoBuilder, self).build(puller)
+        # Read info.json file back and modify only shell=False.
+        with open(os.path.join(self.folder, "info.json"),  'r+') as info_file:
+            info = json.load(info_file)
+            info["shell"] = False
+            info_file.seek(0)
+            json.dump(info, info_file)
+
 def getBuilder(config, path):
     # fingerprint the known builders
     if os.path.exists(os.path.join(path, "js", "src")):