aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2014-01-17 15:10:12 -0800
committerAlon Zakai <alonzakai@gmail.com>2014-01-17 15:10:12 -0800
commit27a17f57f868a057ad7846cf3dceea6bc8d0f77f (patch)
tree88703f53d657115de854108eeb57db2c863ad5dd
parentc0ea7656d75302c75657188860ed16247ca56708 (diff)
don't remove whitespace in emcc, not worth the time
-rwxr-xr-xemcc6
1 files changed, 3 insertions, 3 deletions
diff --git a/emcc b/emcc
index 5271ca57..7333b832 100755
--- a/emcc
+++ b/emcc
@@ -2041,9 +2041,9 @@ try:
log_time('js opts')
# Remove some trivial whitespace # TODO: do not run when compress has already been done on all parts of the code
- src = open(final).read()
- src = re.sub(r'\n+[ \n]*\n+', '\n', src)
- open(final, 'w').write(src)
+ #src = open(final).read()
+ #src = re.sub(r'\n+[ \n]*\n+', '\n', src)
+ #open(final, 'w').write(src)
def generate_source_map(map_file_base_name, offset=0):
jsrun.run_js(shared.path_from_root('tools', 'source-maps', 'sourcemapper.js'),