diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2014-01-14 20:34:36 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2014-01-14 20:34:36 -0800 |
| commit | b5ca47aee27b1dd86ad2623c4591019ad0be97ea (patch) | |
| tree | 06c544c4af55bbb6f2ced39c4cba5535750a9e07 | |
| parent | a6effe0a86e59a656aaa27c01d107d2153f8c825 (diff) | |
fix for running js optimizer standalone
| -rw-r--r-- | tools/js_optimizer.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/js_optimizer.py b/tools/js_optimizer.py index d5b1df27..71b6f377 100644 --- a/tools/js_optimizer.py +++ b/tools/js_optimizer.py @@ -342,6 +342,7 @@ EMSCRIPTEN_FUNCS(); return filename def run(filename, passes, js_engine=shared.NODE_JS, jcache=False, source_map=False, extra_info=None): + js_engine = shared.listify(js_engine) return temp_files.run_and_clean(lambda: run_on_js(filename, passes, js_engine, jcache, source_map, extra_info)) if __name__ == '__main__': |