diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-08-25 16:01:46 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-08-25 16:01:46 -0700 |
| commit | 5b3b4c5ca4e10ce6ea22fb24ea429cb2c7dc213d (patch) | |
| tree | 3e6e2bc3d54a0ddac924cc32a06b47bfddc6a85e /tools/shared.py | |
| parent | 51c74c1c724281fac1f3f22fc10d7e6c38feb7b8 (diff) | |
| parent | b7fcc0e14805f1ef5d0cd70d8d237a005379c73d (diff) | |
Merge pull request #71 from max99x/master
Varargs for externals, shared lib globals and other fixes
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 3c9eeb60..ce42d794 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -44,7 +44,7 @@ def timeout_run(proc, timeout, note): return proc.communicate()[0] def run_js(engine, filename, args, check_timeout=False, stdout=PIPE, stderr=STDOUT, cwd=None): - return timeout_run(Popen(engine + [filename] + (['--'] if 'v8' in engine[0] else []) + args, + return timeout_run(Popen(engine + [filename] + (['--'] if 'd8' in engine[0] else []) + args, stdout=stdout, stderr=stderr, cwd=cwd), 15*60 if check_timeout else None, 'Execution') def to_cc(cxx): |