grep -s means different things on different systems; do not use it

1988-07-28 18:47:21 +00:00 · 1988-07-28 18:47:21 +00:00 · f5db63a96d
parent 334293bc04
commit f5db63a96d
1 changed files with 1 additions and 1 deletions
--- 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