1 files changed, 3 insertions, 1 deletions
diff --git a/tools/util.py b/tools/util.py
index 6874f8000..8b8628aba 100644
--- a/tools/util.py
+++ b/tools/util.py
@@ -4,10 +4,12 @@ import os
 import subprocess
 
 
-def run(args, quiet=False):
+def run(args, quiet=False, envs={}):
     if not quiet:
         print " ".join(args)
     env = os.environ.copy()
+    for key in envs.keys():
+        env[key] = envs[key]
     if os.name == "nt":
         # Run through shell to make .bat/.cmd files work.
         args = ["cmd", "/c"] + args