diff options
Diffstat (limited to 'bin/minstall')
| -rwxr-xr-x | bin/minstall | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/minstall b/bin/minstall index 9795263f9f..819b2bc7e4 100755 --- a/bin/minstall +++ b/bin/minstall @@ -65,6 +65,7 @@ if [ $# -ge 2 ] ; then elif [ -f "$FILE" ] ; then #echo "$FILE" is a regular file + $RM "$DEST/`basename $FILE`" cp "$FILE" "$DEST" if [ $MODE ] ; then FILE=`basename "$FILE"` |