From f5db63a96d02482faf5923d78bf0d103a7e364cd Mon Sep 17 00:00:00 2001 From: ceriel Date: Thu, 28 Jul 1988 18:47:21 +0000 Subject: [PATCH] grep -s means different things on different systems; do not use it --- first/first | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/first/first b/first/first index dd32199bf..974af58cf 100755 --- a/first/first +++ b/first/first @@ -290,7 +290,7 @@ ABC echo "target optimizers do not work on Xenix; disabling their use" for i in ../lib/*/descr do - if grep -s "name asopt" $i + if grep "name asopt" $i > /dev/null 2>&1 then if [ -f $i.top ] then -- 2.34.1