diff --git a/tools/exec_util.py b/tools/exec_util.py index c38f67577..2692ed284 100644 --- a/tools/exec_util.py +++ b/tools/exec_util.py @@ -11,7 +11,7 @@ def exec_cmd(cmd, path): err = '' parts = cmd.split() try: - process = Popen(cmd, cwd=path, stdout=PIPE, stderr=PIPE, + process = Popen(parts, cwd=path, stdout=PIPE, stderr=PIPE, shell=(sys.platform == 'win32')) out, err = process.communicate() except IOError, (errno, strerror):