aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2014-03-10 15:50:29 -0700
committerAlon Zakai <alonzakai@gmail.com>2014-03-10 15:50:29 -0700
commit1ec3afe6d8dfac35e9e66714eb87840f60aa1f31 (patch)
treeb326da028b9ffde4ab0cdc5a1f6818911e33f799 /tools
parent131713b71a110a34b64956c7678538e408772c85 (diff)
add -w to spidermonkey to see odin warnings
Diffstat (limited to 'tools')
-rw-r--r--tools/shared.py5
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/shared.py b/tools/shared.py
index 8a27e966..1adbdfaa 100644
--- a/tools/shared.py
+++ b/tools/shared.py
@@ -709,13 +709,14 @@ else:
# Engine tweaks
try:
+ SPIDERMONKEY_ENGINE = listify(SPIDERMONKEY_ENGINE)
if 'gcparam' not in str(SPIDERMONKEY_ENGINE):
new_spidermonkey = SPIDERMONKEY_ENGINE
- if type(SPIDERMONKEY_ENGINE) is str:
- new_spidermonkey = [SPIDERMONKEY_ENGINE]
new_spidermonkey += ['-e', "gcparam('maxBytes', 1024*1024*1024);"] # Our very large files need lots of gc heap
JS_ENGINES = map(lambda x: x if x != SPIDERMONKEY_ENGINE else new_spidermonkey, JS_ENGINES)
SPIDERMONKEY_ENGINE = new_spidermonkey
+ if '-w' not in SPIDERMONKEY_ENGINE:
+ SPIDERMONKEY_ENGINE += ['-w']
except NameError:
pass