diff options
author | Junio C Hamano <junkio@cox.net> | 2006-10-10 22:29:02 -0700 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-10-10 22:29:02 -0700 |
commit | 9861718b305a672f3d17936ea6a6cbd9d9a70059 (patch) | |
tree | 7acd0403be58437787131f61e609b744ab43b4ca /git-fetch.sh | |
parent | e88ee2915493213ea0d0be64c542c090fefd4b33 (diff) | |
download | git-9861718b305a672f3d17936ea6a6cbd9d9a70059.tar.gz |
git-fetch --update-head-ok typofix
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>
Diffstat (limited to 'git-fetch.sh')
-rwxr-xr-x | git-fetch.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/git-fetch.sh b/git-fetch.sh index f1522bd49a..79222fbb1a 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -436,10 +436,10 @@ esac # 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 |