diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-09-21 18:11:29 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-09-23 14:33:24 -0700 |
| commit | 94e987cdfb9a06b0816a5fde866997c2465140e4 (patch) | |
| tree | 1ce3498d7f254208cc499f0fb87b40534b9dbe5d | |
| parent | 79b2ee72ba44f674a0c1f3546d2bf1576af7e9b0 (diff) | |
remove interim relooper builds if final bootstrap phase did not succeed
| -rw-r--r-- | tools/shared.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 4e1a3ebf..e7782cf2 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1444,6 +1444,7 @@ class Building: if emcc_debug: os.environ['EMCC_DEBUG'] = emcc_debug 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 1/0 @staticmethod |