From fb29f51fa998bc6ecc89088ffcccc3d833f277b7 Mon Sep 17 00:00:00 2001
From: ceriel <devnull@localhost>
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 dd32199b..974af58c 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