diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-08-26 14:50:01 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-08-26 14:50:01 -0700 |
| commit | 1cc28b8e9e94267041bc71afebfbbe3059db4a3f (patch) | |
| tree | 107571ed84b48bab5bfb5aea6b7e5b01b814929f /tools/jsrun.py | |
| parent | 06e7518718115977026830676b80c7279e924b5f (diff) | |
| parent | 422d9a1f3227ae8f47fa8bd0037c2220bb2017f7 (diff) | |
Merge branch 'incoming'
Diffstat (limited to 'tools/jsrun.py')
| -rw-r--r-- | tools/jsrun.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/jsrun.py b/tools/jsrun.py index 27c55350..571e9cee 100644 --- a/tools/jsrun.py +++ b/tools/jsrun.py @@ -15,7 +15,7 @@ def timeout_run(proc, timeout, note='unnamed process', full_output=False): def run_js(filename, engine=None, args=[], check_timeout=False, stdout=PIPE, stderr=None, cwd=None, full_output=False): if type(engine) is not list: engine = [engine] - command = engine + [filename] + (['--'] if 'd8' in engine[0] else []) + args + command = engine + [filename] + (['--'] if 'd8' in engine[0] or 'jsc' in engine[0] else []) + args return timeout_run( Popen( command, |