grep -s means different things on different systems; do not use it
This commit is contained in:
parent
d85250553c
commit
fb29f51fa9
@ -290,7 +290,7 @@ ABC
|
|||||||
echo "target optimizers do not work on Xenix; disabling their use"
|
echo "target optimizers do not work on Xenix; disabling their use"
|
||||||
for i in ../lib/*/descr
|
for i in ../lib/*/descr
|
||||||
do
|
do
|
||||||
if grep -s "name asopt" $i
|
if grep "name asopt" $i > /dev/null 2>&1
|
||||||
then
|
then
|
||||||
if [ -f $i.top ]
|
if [ -f $i.top ]
|
||||||
then
|
then
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user