diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-06-26 13:58:30 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-06-26 13:58:30 -0700 |
| commit | 7e179d8c63f43ade6d6345e9bb118e1974a1c992 (patch) | |
| tree | 39418f9dbeb792609ada85e5f91ac1d280cc8fa3 /tools | |
| parent | dc341c89d3521c27a41f0d65047096bc0f1f99d2 (diff) | |
make EMCC_OPTIMIZE_NORMALLY the default
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/shared.py b/tools/shared.py index 2a754d27..1817f98d 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1293,9 +1293,6 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e emcc_debug = os.environ.get('EMCC_DEBUG') if emcc_debug: del os.environ['EMCC_DEBUG'] - emcc_optimize_normally = os.environ.get('EMCC_OPTIMIZE_NORMALLY') - if emcc_optimize_normally: del os.environ['EMCC_OPTIMIZE_NORMALLY'] - def make(opt_level): raw = relooper + '.raw.js' Building.emcc(os.path.join('relooper', 'Relooper.cpp'), ['-I' + os.path.join('relooper'), '--post-js', @@ -1326,7 +1323,6 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e finally: os.chdir(curr) if emcc_debug: os.environ['EMCC_DEBUG'] = emcc_debug - if emcc_optimize_normally: os.environ['EMCC_OPTIMIZE_NORMALLY'] = emcc_optimize_normally if not ok: logging.error('bootstrapping relooper failed. You may need to manually create relooper.js by compiling it, see src/relooper/emscripten') 1/0 |