From bce82efe1fc57f88dc050f5c13508b2e442b7a0d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Michel=20D=C3=A4nzer?= <michel@tungstengraphics.com>
Date: Mon, 11 Dec 2006 17:36:35 +0100
Subject: [PATCH] minstall: Always remove destination file before (re-)creating
 it.

This avoids issues with overwriting files that are being used.
(cherry picked from d71a5647a3ed4aadd46edfa8a031ffc87d88c5f7 commit)
---
 bin/minstall | 1 +
 1 file changed, 1 insertion(+)

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