diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-10-26 16:52:12 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-10-26 16:52:12 -0700 |
| commit | 3ed62c97c672038a543ce7e41f94443920473c3d (patch) | |
| tree | 35ccb2a4a7b71732cf8d83547ed32b0b778b4b18 /tools/shared.py | |
| parent | 1123478a261fcbb6e311b9e6efdecc662f6e728c (diff) | |
do not emit multiple EMSCRIPTEN_GENERATED_FUNCTION markers in split js files
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 3659f3ab..a75a1de6 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -980,11 +980,14 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e cores = min(multiprocessing.cpu_count(), chunks) if os.environ.get('EMCC_DEBUG'): print >> sys.stderr, 'splitting up js optimization into %d chunks, using %d cores' % (len(chunks), cores) pool = multiprocessing.Pool(processes=cores) + commands = map(lambda command: command + ['noPrintMetadata'], commands) filenames = pool.map(run_js_optimizer, commands, chunksize=1) filename += '.jo.js' f = open(filename, 'w') for out_file in filenames: f.write(open(out_file).read()) + f.write(suffix) + f.write('\n') f.close() return filename else: |