Searched refs:PFILE (Results 1 – 1 of 1) sorted by relevance
89 PFILE=$PDIR/$FILENAME92 if [ -f "$PFILE" ]; then93 log "Comparing $CFILE with $PFILE"94 if cmp --quiet $PFILE $CFILE; then