From 0c2fb123f7d949445aa95b9d5ffedf2d9bd6ba35 Mon Sep 17 00:00:00 2001
From: Frank Denis <github@pureftpd.org>
Date: Wed, 17 Nov 2021 21:02:17 +0100
Subject: [PATCH] wasm-opt: use --strip-debug

---
 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 8e0c5d7f..b1b9ffe2 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 -o "${1}.tmp" "$1" && mv -f "${1}.tmp" "$1"
+  wasm-opt -O4 --strip-debug -o "${1}.tmp" "$1" && mv -f "${1}.tmp" "$1"
 fi
 
 if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wavm" ]; then