diff options
Diffstat (limited to 'scripts/devtool')
-rwxr-xr-x | scripts/devtool | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/devtool b/scripts/devtool index 06e91b7591..e1198b1369 100755 --- a/scripts/devtool +++ b/scripts/devtool | |||
@@ -318,5 +318,5 @@ if __name__ == "__main__": | |||
318 | except Exception: | 318 | except Exception: |
319 | ret = 1 | 319 | ret = 1 |
320 | import traceback | 320 | import traceback |
321 | traceback.print_exc(5) | 321 | traceback.print_exc() |
322 | sys.exit(ret) | 322 | sys.exit(ret) |