From 2608003f55ca3e02cfdcafbec54fdd325340a78e Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Mon, 31 Jul 2006 03:07:12 -0700 Subject: [PATCH] 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 --- git-checkout.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/git-checkout.sh b/git-checkout.sh index 5613bfc403..580a9e8a23 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