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