From 87cc7d7bcab0b9908fd172f505d35b9ee72e03b6 Mon Sep 17 00:00:00 2001 From: Yuta Saito Date: Thu, 23 May 2024 02:59:53 +0900 Subject: [PATCH] chore: keep name section in debug builds (#58) --- src/lib.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib.rs b/src/lib.rs index 6b3dd9c..9bc31ea 100644 --- 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| {