Revert "wasm-opt: use --strip-debug"

This reverts commit 0c2fb123f7.
This commit is contained in:
Frank Denis 2021-11-18 14:15:26 +01:00
parent 0c2fb123f7
commit aa099f5e82

View File

@ -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 --strip-debug -o "${1}.tmp" "$1" && mv -f "${1}.tmp" "$1" wasm-opt -O4 -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