diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-09-23 17:23:07 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-09-23 17:23:07 -0700 |
| commit | d9b385883799f8ec5b8d3646276536d580c436ff (patch) | |
| tree | e8b6efdad50dc351630a551b3aeefaf1500dce62 /tools/shared.py | |
| parent | ca912fdf04149416e5762a13c4a25e69f481a4d9 (diff) | |
handle EMCC_LEAVE_INPUTS_RAW in relooper bootstrap
Diffstat (limited to 'tools/shared.py')
| -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 e7782cf2..2d9ae9f6 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1413,6 +1413,9 @@ class Building: emcc_debug = os.environ.get('EMCC_DEBUG') if emcc_debug: del os.environ['EMCC_DEBUG'] + emcc_leave_inputs_raw = os.environ.get('EMCC_LEAVE_INPUTS_RAW') + if emcc_leave_inputs_raw: del os.environ['EMCC_LEAVE_INPUTS_RAW'] + def make(opt_level): raw = relooper + '.raw.js' Building.emcc(os.path.join('relooper', 'Relooper.cpp'), ['-I' + os.path.join('relooper'), '--post-js', @@ -1442,6 +1445,7 @@ class Building: finally: os.chdir(curr) if emcc_debug: os.environ['EMCC_DEBUG'] = emcc_debug + if emcc_leave_inputs_raw: os.environ['EMCC_LEAVE_INPUTS_RAW'] = emcc_leave_inputs_raw if not ok: logging.error('bootstrapping relooper failed. You may need to manually create relooper.js by compiling it, see src/relooper/emscripten') try_delete(relooper) # do not leave a phase-1 version if phase 2 broke |