Searched refs:PFILE (Results 1 – 1 of 1) sorted by relevance
91 PFILE=$PDIR/$FILENAME94 if [ -f "$PFILE" ]; then95 log2 "Comparing $CFILE with $PFILE"96 if cmp --quiet $PFILE $CFILE; then