diff options
Diffstat (limited to 'tools/shared.py')
-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 |