1 files changed, 1 insertions, 5 deletions
diff --git a/scripts/run-tool.py b/scripts/run-tool.py
index 59f9154..a64ce0e 100755
--- a/scripts/run-tool.py
+++ b/scripts/run-tool.py
@@ -153,8 +153,4 @@ def dump_result():
 
 
 if __name__ == "__main__":
-    try:
-        main()
-    except Exception as e:
-        print(e, file=sys.stderr)
-        sys.exit(1)
+    main()
+\ No newline at end of file