Searched refs:CFILE (Results 1 – 1 of 1) sorted by relevance
92 CFILE=$SDIR/$FILENAME95 log2 "Comparing $CFILE with $PFILE"96 if cmp --quiet $PFILE $CFILE; then103 log2 "Skipping $CFILE"111 mkdir -p $(dirname "$DFILE") && cp $CFILE $DFILE112 fail_panic "Could not copy $CFILE to $DFILE"