diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-04-29 15:47:31 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-29 15:47:31 -0700 |
commit | f934d3ec22c3ed2bd8e26cfae1c460bf0a26ef35 (patch) | |
tree | 4727ae3ef602000d0ac6a8e404eb1445dbff1a48 | |
parent | aa62072c9b7dcc3b650af9fe24f23853c688d07b (diff) |
error on undefined symbols in js configure-ing
-rwxr-xr-x | emcc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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') |