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__": except Exception: ret = 1 import traceback - traceback.print_exc(5) + traceback.print_exc() sys.exit(ret) |