mesa: Branch 'master'

[Michel Daenzer]

 bin/minstall |    1 +
 1 files changed, 1 insertion(+)

New commits:
diff-tree d71a5647a3ed4aadd46edfa8a031ffc87d88c5f7 (from d7b24fec245f90db4b8c66f4f7c167b8f20a9b9e)
Author: Michel Dänzer <michel at tungstengraphics.com>
Date:   Mon Dec 11 17:36:35 2006 +0100

    minstall: Always remove destination file before (re-)creating it.
    
    This avoids issues with overwriting files that are being used.

diff --git a/bin/minstall b/bin/minstall
index 9795263..210c275 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"`