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__': except Exception: ret = 2 import traceback - traceback.print_exc(3) + traceback.print_exc() sys.exit(ret) |