diff options
Diffstat (limited to 'tools/js_optimizer.py')
| -rw-r--r-- | tools/js_optimizer.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/js_optimizer.py b/tools/js_optimizer.py index 12e76223..d6f8921c 100644 --- a/tools/js_optimizer.py +++ b/tools/js_optimizer.py @@ -377,5 +377,7 @@ if __name__ == '__main__': sys.argv = sys.argv[:-1] else: extra_info = None - run(sys.argv[1], sys.argv[2:], extra_info=extra_info) + out = run(sys.argv[1], sys.argv[2:], extra_info=extra_info) + import shutil + shutil.copyfile(out, sys.argv[1] + '.jsopt.js') |