From c21fa570f68c91b6c4988e48ebbead882d1e0aea Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Mon, 8 Apr 2019 21:02:41 +0200 Subject: [PATCH] egrep -> grep --- dist-build/wasi.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist-build/wasi.sh b/dist-build/wasi.sh index 00a72cd1..1282e918 100755 --- a/dist-build/wasi.sh +++ b/dist-build/wasi.sh @@ -20,7 +20,7 @@ export STRIP="llvm-strip" make distclean > /dev/null -egrep -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 [ -z "$LIBSODIUM_FULL_BUILD" ]; then