: use 'sh'
filename=$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.
#
egrep "$grepopt" $case "$searchstring" /dev/null $filename | awk '{print substr($0,1,150)}' > $tmpdir/inffind${COBINFPROC};
