diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-12-31 11:56:53 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-31 11:56:53 -0800 |
commit | 2325baf34e144586d71251f31c01c7f2abfdb8b7 (patch) | |
tree | 6dec7e37e75040034d443786d4701e62b38a4d6d /tools/js_optimizer.py | |
parent | 8aa6919b7acf0b4034735ac7ee597e946fefaf4d (diff) | |
parent | a55c2a24a50a93fcf9035eb2a809d13d3a8d3555 (diff) |
Merge branch 'incoming' into asm_js
Conflicts:
src/library_browser.js
Diffstat (limited to 'tools/js_optimizer.py')
-rw-r--r-- | tools/js_optimizer.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/js_optimizer.py b/tools/js_optimizer.py index 744e068a..b72a2084 100644 --- a/tools/js_optimizer.py +++ b/tools/js_optimizer.py @@ -26,7 +26,8 @@ def run_on_chunk(command): f.close() return filename -def run(filename, passes, js_engine, jcache): +def run_on_js(filename, passes, js_engine, jcache): + if jcache: shared.JCache.ensure() if type(passes) == str: @@ -144,6 +145,8 @@ def run(filename, passes, js_engine, jcache): else: filenames = [] + for filename in filenames: temp_files.note(filename) + filename += '.jo.js' f = open(filename, 'w') f.write(pre); @@ -170,3 +173,6 @@ def run(filename, passes, js_engine, jcache): return filename +def run(filename, passes, js_engine, jcache): + return temp_files.run_and_clean(lambda: run_on_js(filename, passes, js_engine, jcache)) + |