diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-03-05 17:58:52 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-03-05 17:58:52 -0800 |
commit | 05503ab46744fe09f1addbb80c73f2acf918c485 (patch) | |
tree | d7bfb1ce1077bcad25610872ee390370f89150a4 | |
parent | 4f5016a3ab0bf15deb32a17cfc2686dbe7cfdeef (diff) |
disable asm validation when backend tells us
-rwxr-xr-x | emscripten.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/emscripten.py b/emscripten.py index 5c9275c2..c8122cb9 100755 --- a/emscripten.py +++ b/emscripten.py @@ -824,6 +824,8 @@ def emscript_fast(infile, settings, outfile, libraries=[], compiler_engine=None, ) + map(lambda x: x[1:], metadata['externs']) if metadata['simd']: settings['SIMD'] = 1 + if not metadata['canValidate'] and settings['ASM_JS'] != 2: + logging.warning('disabling asm.js validation due to use of non-supported features') settings['ASM_JS'] = 2 # Save settings to a file to work around v8 issue 1579 |