diff options
| author | Michel Dänzer <michel@tungstengraphics.com> | 2006-12-11 17:36:35 +0100 |
|---|---|---|
| committer | Michel Dänzer <michel@tungstengraphics.com> | 2006-12-11 17:36:35 +0100 |
| commit | d71a5647a3ed4aadd46edfa8a031ffc87d88c5f7 (patch) | |
| tree | 40a5f396d25461f9b1457778eb51e3dcb0f1bcdd /bin/minstall | |
| parent | d7b24fec245f90db4b8c66f4f7c167b8f20a9b9e (diff) | |
minstall: Always remove destination file before (re-)creating it.
This avoids issues with overwriting files that are being used.
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..210c2758d3 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/$FILE" cp "$FILE" "$DEST" if [ $MODE ] ; then FILE=`basename "$FILE"` |