summaryrefslogtreecommitdiff
path: root/git-checkout.sh
diff options
context:
space:
mode:
authorJunio C Hamano <junkio@cox.net>2006-07-31 03:07:12 -0700
committerJunio C Hamano <junkio@cox.net>2006-07-31 03:07:12 -0700
commit2608003f55ca3e02cfdcafbec54fdd325340a78e (patch)
treed4b440a5fbba60113961aa2e5877f11a1741ba00 /git-checkout.sh
parentb63fafdfd844c2037fba53b9944431c1378b4135 (diff)
downloadgit-2608003f55ca3e02cfdcafbec54fdd325340a78e.tar.gz
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>
Diffstat (limited to 'git-checkout.sh')
-rwxr-xr-xgit-checkout.sh4
1 files changed, 4 insertions, 0 deletions
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