diff options
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 45473e2c..2257d4e4 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -22,6 +22,9 @@ LLVM_COMPILER=os.path.expanduser(os.path.join(LLVM_ROOT, 'llc')) if '-s' not in SPIDERMONKEY_ENGINE: SPIDERMONKEY_ENGINE += ['-s'] # Strict mode in SpiderMonkey. With V8 we check that fallback to non-strict works too +if 'stackQuote' not in str(SPIDERMONKEY_ENGINE): + SPIDERMONKEY_ENGINE += ['-e', 'stackQuota(100000000000)'] # Our very large files need lots of stack space + # Utilities def timeout_run(proc, timeout, note): @@ -60,3 +63,7 @@ def line_splitter(data): return out +def limit_size(string, MAX=80*20): + if len(string) < MAX: return string + return string[0:MAX] + '...' + |