diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-03-10 15:50:29 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-03-10 15:50:29 -0700 |
commit | 1ec3afe6d8dfac35e9e66714eb87840f60aa1f31 (patch) | |
tree | b326da028b9ffde4ab0cdc5a1f6818911e33f799 /tools | |
parent | 131713b71a110a34b64956c7678538e408772c85 (diff) |
add -w to spidermonkey to see odin warnings
Diffstat (limited to 'tools')
-rw-r--r-- | tools/shared.py | 5 |
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 |