diff options
| -rwxr-xr-x | emscripten.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/emscripten.py b/emscripten.py index 0d565030..ac66ed8d 100755 --- a/emscripten.py +++ b/emscripten.py @@ -796,7 +796,11 @@ 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'] = list(set(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'])).difference( + map(lambda x: x[1:], metadata['implementedFunctions']) + ) + ) # Settings changes assert settings['TARGET_LE32'] == 1 |