diff options
| author | Junio C Hamano <junkio@cox.net> | 2006-08-01 09:59:33 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-08-01 09:59:33 +0400 |
| commit | 0225de86a484828bd4abfd697d361d2bd37c48f4 (patch) | |
| tree | 115a73fbe5d705099f250d2f81b361a77f68958f | |
| parent | 3e04228b0c4bbb4b5cd46db9a714dfe699fa4cb8 (diff) | |
| parent | 2608003f55ca3e02cfdcafbec54fdd325340a78e (diff) | |
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 |