Merge my and Petr's git-merge-one-file-script modifications

20 years ago · 566487c8a6
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -23,7 +23,8 @@ case "${1:-.}${2:-.}${3:-.}" in
				@@ -23,7 +23,8 @@ case "${1:-.}${2:-.}${3:-.}" in
 "$1..")
 	echo "WARNING: $4 is removed in both branches."
 	echo "WARNING: This is a potential rename conflict."
-	exec git-update-cache --remove -- "$4"
+	rm -f -- "$4" &&
+		exec git-update-cache --remove -- "$4"
 	;;

 #