Searched refs:DFILE (Results 1 – 1 of 1) sorted by relevance
93 DFILE=$DDIR/$FILENAME99 if [ -f "$DFILE" ]; then100 log2 "Removing obsolete $DFILE"101 rm -f $DFILE109 DFILE=$DDIR/$FILENAME110 log2 "Copying $SFILE --> $DFILE"111 mkdir -p $(dirname "$DFILE") && cp $CFILE $DFILE112 fail_panic "Could not copy $CFILE to $DFILE"