Searched refs:CFILE (Results 1 – 1 of 1) sorted by relevance
90 CFILE=$SDIR/$FILENAME93 log "Comparing $CFILE with $PFILE"94 if cmp --quiet $PFILE $CFILE; then101 log "Skipping $CFILE"109 mkdir -p $(dirname "$DFILE") && cp $CFILE $DFILE110 fail_panic "Could not copy $CFILE to $DFILE"