diff options
| author |  Junio C Hamano <junkio@cox.net> | 2006-07-31 22:59:33 -0700 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-07-31 22:59:33 -0700 |
| commit | 0225de86a484828bd4abfd697d361d2bd37c48f4 (patch) | |
| tree | 115a73fbe5d705099f250d2f81b361a77f68958f | |
| parent | Fix up some fallout from "setup_git_directory()" cleanups (diff) | |
| parent | git-checkout: allow "checkout HEAD -- path" (diff) | |
| download | tgif-0225de86a484828bd4abfd697d361d2bd37c48f4.tar.xz | |
Merge branch 'jc/checkout'
* jc/checkout:
git-checkout: allow "checkout HEAD -- path"
| -rwxr-xr-x | git-checkout.sh | 4 |
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 |