diff options
| -rwxr-xr-x | emscripten.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/emscripten.py b/emscripten.py index 55f00aee..0d565030 100755 --- a/emscripten.py +++ b/emscripten.py @@ -796,7 +796,7 @@ def emscript_fast(infile, settings, outfile, libraries=[], compiler_engine=None, if DEBUG: logging.debug('emscript: js compiler glue') # Integrate info from backend - settings['DEFAULT_LIBRARY_FUNCS_TO_INCLUDE'] = settings['DEFAULT_LIBRARY_FUNCS_TO_INCLUDE'] + map(shared.JS.to_nice_ident, metadata['declares']) + settings['DEFAULT_LIBRARY_FUNCS_TO_INCLUDE'] = list(set(settings['DEFAULT_LIBRARY_FUNCS_TO_INCLUDE'] + map(shared.JS.to_nice_ident, metadata['declares']))) # Settings changes assert settings['TARGET_LE32'] == 1 |