chore: keep name section in debug builds (#58)

bytecodealliance · May 22, 2024 · 87cc7d7 · 87cc7d7
1 parent ca43998
commit 87cc7d7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -284,6 +284,7 @@ impl WasiVirt {
             OptimizationOptions::new_opt_level_2()
                 .shrink_level(ShrinkLevel::Level1)
                 .enable_feature(Feature::All)
+                .debug_info(self.debug)
                 .run(&tmp_input, &tmp_output)
                 .with_context(|| "Unable to apply wasm-opt optimization to virt. This can be disabled with wasm_opt: false.")
                 .or_else(|e| {