Merge branch 'dev'

algbio · Feb 22, 2023 · 0531d82 · 0531d82
2 parents d26e630 + ab4685f
commit 0531d82
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -86,4 +86,12 @@ default-members = ["crates/cmdline", "crates/api"]
 debug = false
 strip = true
 lto = "thin"
+
+
+[profile.with_debug]
+inherits = "release"
+debug = true
+strip = false
+lto = "thin"
+
 # split-debuginfo = "packed"