mirror of
https://github.com/pezkuwichain/wasm-instrument.git
synced 2026-10-21 03:06:28 +00:00
Strip custom sections in wasm-prune (#150)
* strip custom sections * line width
This commit is contained in:
1 parent
0cead7ba6d
commit
1ef05d71ed
1 file changed
+4
@@ -330,6 +330,10 @@ pub fn optimize(
|
||||
}
|
||||
}
|
||||
|
||||
// Also drop all custom sections
|
||||
module.sections_mut()
|
||||
.retain(|section| if let elements::Section::Custom(_) = section { false } else { true });
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
|
||||
Reference in new issue
Block a user