Index: scripts/tools/runit.py |
diff --git a/scripts/tools/runit.py b/scripts/tools/runit.py |
index 8180e74b3eb69b0b1536a9739890affdcb81f059..4f985ccfa833b1978c0bb61eb03df5a67817fceb 100755 |
--- a/scripts/tools/runit.py |
+++ b/scripts/tools/runit.py |
@@ -86,7 +86,7 @@ def main(): |
print 'Set PYTHONPATH: %s' % os.environ['PYTHONPATH'] |
# Use subprocess instead of execv because otherwise windows destroys quoting. |
- p = subprocess.Popen(args) |
+ p = subprocess.Popen([sys.executable] + args) |
p.wait() |
return p.returncode |