git-merge-one-file: do not worry about 'rmdir -p' not removing directory.
9ae2172aed
used "rmdir -p"
carelessly, causing the more important "git-update-index
--remove" to be skipped.
Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
parent
c639a5548a
commit
ce3ca27545
@ -26,7 +26,7 @@ case "${1:-.}${2:-.}${3:-.}" in
|
|||||||
fi
|
fi
|
||||||
if test -f "$4"; then
|
if test -f "$4"; then
|
||||||
rm -f -- "$4" &&
|
rm -f -- "$4" &&
|
||||||
rmdir -p "$(expr "$4" : '\(.*\)/')" 2>/dev/null
|
rmdir -p "$(expr "$4" : '\(.*\)/')" 2>/dev/null || :
|
||||||
fi &&
|
fi &&
|
||||||
exec git-update-index --remove -- "$4"
|
exec git-update-index --remove -- "$4"
|
||||||
;;
|
;;
|
||||||
|
Loading…
Reference in New Issue
Block a user