diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-09-25 15:17:47 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-09-25 15:17:47 -0700 |
| commit | c9e163ac7d2ccb17e455af7f689403c9371c0cec (patch) | |
| tree | 3673ea7f9f28c6bbce142c444ccc24594d3dfbf2 /tools/tempfiles.py | |
| parent | c2769dda59b300af47af19f342684f40722d6795 (diff) | |
fix save_debug_files
Diffstat (limited to 'tools/tempfiles.py')
| -rw-r--r-- | tools/tempfiles.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/tempfiles.py b/tools/tempfiles.py index 1721b2bb..27da1082 100644 --- a/tools/tempfiles.py +++ b/tools/tempfiles.py @@ -27,6 +27,7 @@ class TempFiles: def clean(self): if self.save_debug_files: + import sys print >> sys.stderr, 'not cleaning up temp files since in debug-save mode, see them in %s' % (self.tmp,) return for filename in self.to_clean: |