diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-10-08 11:47:14 -0400 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-10-08 11:47:14 -0400 |
| commit | 0a229cf5a240a1ebf4ff5d0ebb501a286bc96202 (patch) | |
| tree | 2797d054788e88863d77f9826dde94fb4c276c69 /tools/tempfiles.py | |
| parent | 05b6aa32a5f1633797f7eae390b3a8048b29ca69 (diff) | |
| parent | ae5ef852920ce67449af7693f05a767a87aed976 (diff) | |
Merge branch 'incoming'
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: |