summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e88ee29)
raw | patch | inline | side by side (parent: e88ee29)
author | Junio C Hamano <junkio@cox.net> | |
Wed, 11 Oct 2006 05:29:02 +0000 (22:29 -0700) | ||
committer | Junio C Hamano <junkio@cox.net> | |
Wed, 11 Oct 2006 05:29:02 +0000 (22:29 -0700) |
Martin Waitz noticed that one of the case arms had an impossible
choice. It turns out that what it was checking was redundant and
the typo did not have any effect.
Signed-off-by: Junio C Hamano <junkio@cox.net>
choice. It turns out that what it was checking was redundant and
the typo did not have any effect.
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-fetch.sh | patch | blob | history |
diff --git a/git-fetch.sh b/git-fetch.sh
index f1522bd49a2fc1c3106c6b2ed0a38af0a9ff72de..79222fbb1a4bf3205f3225feafc96aa43aace87c 100755 (executable)
--- a/git-fetch.sh
+++ b/git-fetch.sh
# If the original head was empty (i.e. no "master" yet), or
# if we were told not to worry, we do not have to check.
-case ",$update_head_ok,$orig_head," in
-*,, | t,* )
+case "$orig_head" in
+'')
;;
-*)
+?*)
curr_head=$(git-rev-parse --verify HEAD 2>/dev/null)
if test "$curr_head" != "$orig_head"
then