diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-12 21:06:35 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-12 21:06:35 -0700 |
| commit | c02337ea0c8754899620dcdd5199b4c0120bacdd (patch) | |
| tree | 1ec5e41a23e05b051a5f5ad0feb2e9581ad8f793 | |
| parent | 4603044055819d1b8e1d9e7e7c00cc1bbe869bb8 (diff) | |
disable EMCC_DEBUG when bootstrapping relooper
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 34ed9b3d..81a8e053 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1141,6 +1141,9 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e print >> sys.stderr, 'bootstrapping relooper...' os.chdir(path_from_root('src')) + emcc_debug = os.environ.get('EMCC_DEBUG') + if emcc_debug: del os.environ['EMCC_DEBUG'] + def make(opt_level): raw = relooper + '.raw.js' Building.emcc(os.path.join('relooper', 'Relooper.cpp'), ['-I' + os.path.join('relooper'), '--post-js', @@ -1169,6 +1172,7 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e ok = True finally: os.chdir(curr) + if emcc_debug: os.environ['EMCC_DEBUG'] = emcc_debug if not ok: print >> sys.stderr, 'bootstrapping relooper failed. You may need to manually create relooper.js by compiling it, see src/relooper/emscripten' 1/0 |