wasm-opt: use --strip-debug
This commit is contained in:
parent
77f77a67f5
commit
0c2fb123f7
@ -6,7 +6,7 @@ unset LDFLAGS
|
|||||||
unset CFLAGS
|
unset CFLAGS
|
||||||
|
|
||||||
if command -v wasm-opt >/dev/null; then
|
if command -v wasm-opt >/dev/null; then
|
||||||
wasm-opt -O4 -o "${1}.tmp" "$1" && mv -f "${1}.tmp" "$1"
|
wasm-opt -O4 --strip-debug -o "${1}.tmp" "$1" && mv -f "${1}.tmp" "$1"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wavm" ]; then
|
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wavm" ]; then
|
||||||
|
Loading…
Reference in New Issue
Block a user