diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-03-19 15:48:21 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-03-19 15:48:21 -0700 |
commit | 3bb37508dbb4a05a51c952bb39dfd454c615ecef (patch) | |
tree | daff3eddb0f57d9b7fef45b91948281b78346a91 /emcc | |
parent | e4a926f49b3eb2ff5b7f170e3efe931c3fcde415 (diff) |
remove .compress if the compress wasn't worth it
Diffstat (limited to 'emcc')
-rwxr-xr-x | emcc | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -832,6 +832,9 @@ try: os.stat(Compression.compressed_name(file_['name'])).st_size): file_['net_name'] = Compression.compressed_name(file_['name']) file_['compressed'] = True + else: + if DEBUG: print >> sys.stderr, 'emcc: not compressing %s since not worth it' % file_['name'] + os.remove(Compression.compressed_name(file_['name'])) # Set up folders partial_dirs = [] |