From: Junio C Hamano <junkio@cox.net>
Date: Mon, 31 Jul 2006 10:07:12 +0000 (-0700)
Subject: git-checkout: allow "checkout HEAD -- path"
X-Git-Tag: v1.4.2-rc3~26^2
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=2608003f55ca3e02cfdcafbec54fdd325340a78e;p=git.git

git-checkout: allow "checkout HEAD -- path"

Even though -- is redundant in this case, we should allow it to prevent
confusion.

Signed-off-by: Junio C Hamano <junkio@cox.net>
---

diff --git a/git-checkout.sh b/git-checkout.sh
index 5613bfc40..580a9e8a2 100755
--- a/git-checkout.sh
+++ b/git-checkout.sh
@@ -67,6 +67,10 @@ while [ "$#" != "0" ]; do
 			set x "$arg" "$@"
 			shift
 		fi
+		case "$1" in
+		--)
+			shift ;;
+		esac
 		break
 		;;
     esac