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) |
