diff options
| -rw-r--r-- | tools/shared.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index c330926c..6c5578a3 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -942,6 +942,7 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e '-jar', CLOSURE_COMPILER, '--compilation_level', 'ADVANCED_OPTIMIZATIONS', '--formatting', 'PRETTY_PRINT', + '--language_in', 'ECMASCRIPT5', #'--variable_map_output_file', filename + '.vars', '--js', filename, '--js_output_file', filename + '.cc.js'] if os.environ.get('EMCC_CLOSURE_ARGS'): |