diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-12-23 15:14:08 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-23 15:14:08 -0800 |
| commit | c92fc2ca234fbe4fb689b6c799956537463a286b (patch) | |
| tree | a6a65d1a6ff68807924786674a6b73874b0a0792 /tools | |
| parent | 2f37b134b5f5b67c3986a77620d9feca3288294c (diff) | |
clean up all temp files in js optimizer
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/js_optimizer.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/js_optimizer.py b/tools/js_optimizer.py index 7a8335db..3f978605 100644 --- a/tools/js_optimizer.py +++ b/tools/js_optimizer.py @@ -143,6 +143,8 @@ def run_on_js(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); |