From 5df53ce62b41ea3c624f0565fe5f088aa295801e Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Thu, 18 Nov 2021 14:15:02 +0100 Subject: [PATCH] Revert "wasm-opt: use --strip-debug" This reverts commit 85bdde2817a1567ee9b7f415b8d7725b8192c9c4. --- test/default/wasi-test-wrapper.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/default/wasi-test-wrapper.sh b/test/default/wasi-test-wrapper.sh index b1b9ffe2..8e0c5d7f 100755 --- a/test/default/wasi-test-wrapper.sh +++ b/test/default/wasi-test-wrapper.sh @@ -6,7 +6,7 @@ unset LDFLAGS unset CFLAGS 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 if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wavm" ]; then