From a47159de27d54f25642df38a348914113fded4b0 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Fri, 3 May 2019 11:15:42 +0200 Subject: [PATCH] Just look for the 'wasi' substring --- dist-build/wasm32-wasi.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist-build/wasm32-wasi.sh b/dist-build/wasm32-wasi.sh index bde72714..0b165745 100755 --- a/dist-build/wasm32-wasi.sh +++ b/dist-build/wasm32-wasi.sh @@ -20,7 +20,7 @@ export STRIP="llvm-strip" make distclean > /dev/null -grep -q -F -- '-wasi' build-aux/config.sub || \ +grep -q -F -- 'wasi' build-aux/config.sub || \ sed -i -e 's/-nacl\*)/-nacl*|-wasi)/' build-aux/config.sub if [ "x$1" = "x--bench" ]; then