diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2014-05-27 11:26:40 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2014-05-27 11:26:40 -0700 |
| commit | d46e9600bcf9416d37a2b4189ca5dd3d0546bf54 (patch) | |
| tree | c5a58b20995bf936b7b24d069e06121f29d32b06 /emscripten.py | |
| parent | 807e419d4a73a4b7b6f60bc9e2bf770924c3442d (diff) | |
set MAX_SETJMPS to fastcomp; 1.18.41.18.4
Diffstat (limited to 'emscripten.py')
| -rwxr-xr-x | emscripten.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/emscripten.py b/emscripten.py index 9abaf60c..98877a8e 100755 --- a/emscripten.py +++ b/emscripten.py @@ -761,6 +761,7 @@ def emscript_fast(infile, settings, outfile, libraries=[], compiler_engine=None, if settings['ALIASING_FUNCTION_POINTERS'] == 0: backend_args += ['-emscripten-no-aliasing-function-pointers'] backend_args += ['-O' + str(settings['OPT_LEVEL'])] + backend_args += ['-emscripten-max-setjmps=%d' % settings['MAX_SETJMPS']] if DEBUG: logging.debug('emscript: llvm backend: ' + ' '.join(backend_args)) t = time.time() |