change the debug option from true to limited

runtimeverification · Mar 19, 2024 · 09dbab8 · 09dbab8
1 parent 4ef3bac
commit 09dbab8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build_sysroot/Cargo.toml b/build_sysroot/Cargo.toml
@@ -18,5 +18,5 @@ rustc-std-workspace-alloc = { path = "./sysroot_src/library/rustc-std-workspace-
 rustc-std-workspace-std = { path = "./sysroot_src/library/rustc-std-workspace-std" }
 
 [profile.release]
-debug = true
+debug = "limited"
 #lto = "fat" # TODO(antoyo): re-enable when the failing LTO tests regarding proc-macros are fixed.