summaryrefslogtreecommitdiffstats
path: root/scripts/devtool
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/devtool')
-rwxr-xr-xscripts/devtool2
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)