: use 'sh'
searchpath=$1;
tmpdir=$2;
searchstring=`echo "$3" | tr '+' '|'`;
grepopt="$4";
case=$5;
#
# The egrep in the command below has a dummy filename of /dev/null
# to force the name of the file being searched to be prepended to
# the output. This only happens when egrep is given multiple filenames.
#
rm $tmpdir/inffind${COBINFPROC} 2>/dev/null
find $searchpath  \( ! -type d ! -name "*.S" ! -name "*.?nt" ! -name "*.o" \) -print > $tmpdir/egrep${COBINFPROC}
cat $tmpdir/egrep${COBINFPROC} | while read name
do
egrep "$grepopt" $case  "$searchstring" /dev/null $name 2>/dev/null | cut -c1-150 >> $tmpdir/inffind${COBINFPROC};
done
tmp1=`sort -u -t: +0 -1 $tmpdir/inffind${COBINFPROC}|wc -l`
tmp2=`echo $tmp1 | cut -f1 -d" "`
rm $tmpdir/egrep${COBINFPROC}
echo $tmp2:
