Merge branch 'tor-github/pr/948' into maint-0.4.0

2024-12-06 19:41:15 +01:00 · 2019-04-15 13:56:37 +03:00
parent 40471d73e5 1177818c32
commit 15591e1bbd
2 changed files with 14 additions and 0 deletions
@@ -10,6 +10,17 @@ members = [
    "tor_util",
 ]

+# Can remove panic="abort" when this issue is fixed:
+# https://github.com/rust-lang/rust/issues/52652
+[profile.dev]
+panic = "abort"
+
 [profile.release]
 debug = true
 panic = "abort"
+
+[profile.test]
+panic = "abort"
+
+[profile.bench]
+panic = "abort"