Lines Matching refs:DEST
32 # Last cmd line arg is the dest dir
37 # Loop over args, moving them to DEST directory
41 # stop, don't want to install $DEST into $DEST
45 DEST=$DESTDIR
54 DEST="$DEST/../bin"
80 # Go to $DEST and make the link
81 cd "$DEST" # pushd
89 if ! cmp -s $FILE $DEST/`basename $FILE`; then
90 $RM "$DEST/`basename $FILE`"
91 cp "$FILE" "$DEST"
95 chmod $MODE "$DEST/$FILE"
111 echo " install [-m mode] file [...] dest Install files in destination"
