From a864b58025a0a41bf3eb00aa79d569ae9576c52f Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 19 Aug 2013 15:17:09 -0700 Subject: [PATCH] use -- for jsc --- tools/jsrun.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/jsrun.py b/tools/jsrun.py index 27c553505..571e9cee1 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,