Fix more of #2133 \r\r\n line endings.

This commit is contained in:
Jukka Jylänki 2014-07-30 22:21:08 +03:00
Родитель 8f4d5ece6d
Коммит 568a70776f
1 изменённых файлов: 3 добавлений и 0 удалений

3
emcc
Просмотреть файл

@ -1669,6 +1669,9 @@ try:
logging.debug('applying pre/postjses')
src = open(final).read()
final += '.pp.js'
if WINDOWS: # Avoid duplicating \r\n to \r\r\n when writing out.
if pre_js: pre_js = pre_js.replace('\r\n', '\n')
if post_js: post_js = post_js.replace('\r\n', '\n')
open(final, 'w').write(pre_js + src + post_js)
if DEBUG: save_intermediate('pre-post')