diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-26 12:36:51 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-26 12:36:51 -0500 |
| commit | 54f71a8237cba633dba6bd12bd5167987a814792 (patch) | |
| tree | 07c276e2420dddb3c97ea3cb0415a8b6d2e2e096 /tools/js_optimizer.py | |
| parent | 46c294f9983307ed35db019e11b16e00271a97bb (diff) | |
allow adjusting # of cpu cores to use with EMCC_CORES
Diffstat (limited to 'tools/js_optimizer.py')
| -rw-r--r-- | tools/js_optimizer.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/js_optimizer.py b/tools/js_optimizer.py index 753e9db8..69a5bb2b 100644 --- a/tools/js_optimizer.py +++ b/tools/js_optimizer.py @@ -100,7 +100,7 @@ def run_on_js(filename, passes, js_engine, jcache): total_size = len(js) js = None - cores = multiprocessing.cpu_count() + cores = int(os.environ.get('EMCC_CORES') or multiprocessing.cpu_count()) intended_num_chunks = int(round(cores * NUM_CHUNKS_PER_CORE)) chunk_size = min(MAX_CHUNK_SIZE, max(MIN_CHUNK_SIZE, total_size / intended_num_chunks)) |