remove debug info from emitting

runtimeverification · Mar 19, 2024 · 4ef3bac · 4ef3bac
1 parent 7ff5d39
commit 4ef3bac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build_system/src/config.rs b/build_system/src/config.rs
@@ -424,7 +424,7 @@ impl ConfigInfo {
             rustflags.push("-Csymbol-mangling-version=v0".to_string());
         }
 
-        rustflags.push("-Cdebuginfo=2".to_string());
+
 
         // Since we don't support ThinLTO, disable LTO completely when not trying to do LTO.
         // TODO(antoyo): remove when we can handle ThinLTO.