diff options
| author | Henry <mail@henrygressmann.de> | 2026-04-10 22:32:06 +0200 |
|---|---|---|
| committer | Henry <mail@henrygressmann.de> | 2026-04-10 22:32:06 +0200 |
| commit | 87499c635504e808960e0c6ffffe2b43ca4d6206 (patch) | |
| tree | f2af4cf16762aaa01fa4d27810b36f69a9cd8280 /examples | |
| parent | 46982ca7379584fce8c611736d800d2e091cf399 (diff) | |
ci: update binaryen
Signed-off-by: Henry <mail@henrygressmann.de>
Diffstat (limited to 'examples')
| -rwxr-xr-x | examples/rust/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/rust/build.sh b/examples/rust/build.sh index 36f9568..db4cb43 100755 --- a/examples/rust/build.sh +++ b/examples/rust/build.sh @@ -20,7 +20,7 @@ for bin in "${bins[@]}"; do RUSTFLAGS="-Zlocation-detail=none -Zfmt-debug=none -C target-feature=$rust_features -C panic=abort" cargo build -Z build-std=std,panic_abort -Z build-std-features="optimize_for_size" --target wasm32-unknown-unknown --package rust-wasm-examples --profile=wasm --bin "$bin" cp "$out_dir/$bin.wasm" "$dest_dir/" - wasm-opt "$dest_dir/$bin.wasm" -o "$dest_dir/$bin.opt.wasm" -O3 -Oz $wasmopt_features + wasm-opt "$dest_dir/$bin.wasm" -o "$dest_dir/$bin.opt.wasm" -O3 $wasmopt_features if [[ ! " ${exclude_wat[@]} " =~ " $bin " ]]; then wasm2wat "$dest_dir/$bin.wasm" -o "$dest_dir/$bin.wat" |