From aa099f5e82ae78175f9c1c48372a123cb634dd92 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Thu, 18 Nov 2021 14:15:26 +0100 Subject: [PATCH] Revert "wasm-opt: use --strip-debug" This reverts commit 0c2fb123f7d949445aa95b9d5ffedf2d9bd6ba35. --- 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