diff options
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 ad3b1912..78b18ba7 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -35,7 +35,7 @@ def timeout_run(proc, timeout, note): def run_js(engine, filename, args, check_timeout=False, stdout=PIPE, stderr=STDOUT): return timeout_run(Popen(engine + [filename] + (['--'] if 'v8' in engine[0] else []) + args, - stdout=stdout, stderr=stderr), 120 if check_timeout else None, 'Execution') + stdout=stdout, stderr=stderr), 15*60 if check_timeout else None, 'Execution') def to_cc(cxx): # By default, LLVM_GCC and CLANG are really the C++ versions. This gets an explicit C version |