diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-11-13 17:46:29 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-11-13 17:49:57 -0800 |
| commit | f1b8f8f1b4a36a7018f98ddfa0b7a6f547638bb6 (patch) | |
| tree | 8a5ed3b990f40600eec14f485dd742c5851d17d7 | |
| parent | 587a1b3fdf87fce3440b8dc7422ea5a436d707ae (diff) | |
only save temp files in EMCC_DEBUG_SAVE mode
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/shared.py b/tools/shared.py index 6b263fbd..69a2877b 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -404,8 +404,8 @@ class TempFiles: return named_file def clean(self): - if DEBUG: - print >> sys.stderr, 'not cleaning up temp files since in debug mode, see them in %s' % EMSCRIPTEN_TEMP_DIR + if os.environ.get('EMCC_DEBUG_SAVE'): + print >> sys.stderr, 'not cleaning up temp files since in debug-save mode, see them in %s' % EMSCRIPTEN_TEMP_DIR return for filename in self.to_clean: try_delete(filename) |