diff options
Diffstat (limited to 'scripts/cleanup-workdir')
-rwxr-xr-x | scripts/cleanup-workdir | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/cleanup-workdir b/scripts/cleanup-workdir index a7f5a3a667..01ebd526e3 100755 --- a/scripts/cleanup-workdir +++ b/scripts/cleanup-workdir | |||
@@ -194,5 +194,5 @@ if __name__ == '__main__': | |||
194 | except Exception: | 194 | except Exception: |
195 | ret = 2 | 195 | ret = 2 |
196 | import traceback | 196 | import traceback |
197 | traceback.print_exc(3) | 197 | traceback.print_exc() |
198 | sys.exit(ret) | 198 | sys.exit(ret) |