aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-04-29 15:47:31 -0700
committerAlon Zakai <alonzakai@gmail.com>2013-04-29 15:47:31 -0700
commitf934d3ec22c3ed2bd8e26cfae1c460bf0a26ef35 (patch)
tree4727ae3ef602000d0ac6a8e404eb1445dbff1a48
parentaa62072c9b7dcc3b650af9fe24f23853c688d07b (diff)
error on undefined symbols in js configure-ing
-rwxr-xr-xemcc1
1 files changed, 1 insertions, 0 deletions
diff --git a/emcc b/emcc
index ed6e916f..6f2a0489 100755
--- a/emcc
+++ b/emcc
@@ -557,6 +557,7 @@ if CONFIGURE_CONFIG or CMAKE_CONFIG:
cmd = [compiler] + list(filter_emscripten_options(sys.argv[1:]))
if not use_js: cmd += shared.EMSDK_OPTS + ['-DEMSCRIPTEN']
+ if use_js: cmd += ['-s', 'ERROR_ON_UNDEFINED_SYMBOLS=1'] # configure tests should fail when an undefined symbol exists
if DEBUG: print >> sys.stderr, 'emcc, just configuring: ', ' '.join(cmd)
if debug_configure: open(tempout, 'a').write('emcc, just configuring: ' + ' '.join(cmd) + '\n\n')