enlarge v8/node stack size, to avoid relooper stack overflows on huge projects

1 files changed, 1 insertions, 0 deletions

diff --git a/tools/shared.py b/tools/shared.py
index 3912245d..93f9745d 100644
--- a/tools/shared.py
+++ b/tools/shared.py
@@ -469,6 +469,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 engine is None: engine = JS_ENGINES[0]
   if type(engine) is not list: engine = [engine]
+  if 'd8' in engine[0] or 'node' in engine[0]: engine += ['--stack_size=8192']
   command = engine + [filename] + (['--'] if 'd8' in engine[0] else []) + args
   return timeout_run(Popen(command, stdout=stdout, stderr=stderr, cwd=cwd), 15*60 if check_timeout else None, 'Execution', full_output=full_output)