aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2014-02-17 17:19:45 -0800
committerAlon Zakai <alonzakai@gmail.com>2014-02-17 17:19:45 -0800
commit36baff8892eb0469e3bd776d5f24d19b0abb7461 (patch)
tree3c506afd8c247f0905b7258853e945040de1fecf
parentbce54314c79b19b16eaab0a5c8525c6d5ee10d73 (diff)
error on MAX_SETJMPS changed in fastcomp
-rwxr-xr-xemcc1
1 files changed, 1 insertions, 0 deletions
diff --git a/emcc b/emcc
index 49785c37..f62e820c 100755
--- a/emcc
+++ b/emcc
@@ -1217,6 +1217,7 @@ try:
assert shared.Settings.USE_TYPED_ARRAYS == 2, 'fastcomp assumes ta2'
assert not split_js_file, '--split-js is deprecated and not supported in fastcomp'
assert not bind, 'embind not supported in fastcomp yet'
+ assert shared.Settings.MAX_SETJMPS == 20, 'changing MAX_SETJMPS is not supported in fastcomp yet'
if jcache:
logging.warning('jcache is not supported in fastcomp (you should not need it anyhow), disabling')
jcache = False