Searched refs:INFILE (Results 1 – 1 of 1) sorted by relevance
56 INFILE=$159 if [ ! -f $INFILE ] ; then60 echo "Error: file '$INFILE' does not exist." >&264 FILESIZE=`filesize $INFILE`107 cat $INFILE | \