From de774e350a3aa8d406738f4ea89733897cabe141 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Thu, 25 Sep 2014 16:46:18 -0700 Subject: [PATCH] add EMCC_JSOPT_BLACKLIST env var; fixes #2819 --- emcc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/emcc b/emcc index 5b62f60a2..c9bd5a5d6 100755 --- a/emcc +++ b/emcc @@ -1346,8 +1346,12 @@ try: js_optimizer_queue = [] js_optimizer_extra_info = {} js_optimizer_queue_history = [] + js_optimizer_blacklist = (os.environ.get('EMCC_JSOPT_BLACKLIST') or '').split(',') def flush_js_optimizer_queue(): global final, js_optimizer_queue, js_optimizer_extra_info, js_optimizer_queue_history + + js_optimizer_queue = filter(lambda p: p not in js_optimizer_blacklist, js_optimizer_queue) + if len(js_optimizer_extra_info) == 0: js_optimizer_extra_info = None if len(js_optimizer_queue) > 0 and not(not shared.Settings.ASM_JS and len(js_optimizer_queue) == 1 and js_optimizer_queue[0] == 'last'):