Searched refs:DFILE (Results 1 – 1 of 1) sorted by relevance
91 DFILE=$DDIR/$FILENAME97 if [ -f "$DFILE" ]; then98 log "Removing obsolete $DFILE"99 rm -f $DFILE107 DFILE=$DDIR/$FILENAME108 log "Copying $SFILE --> $DFILE"109 mkdir -p $(dirname "$DFILE") && cp $CFILE $DFILE110 fail_panic "Could not copy $CFILE to $DFILE"