diff options
| author | Junio C Hamano <junkio@cox.net> | 2006-07-31 03:07:12 -0700 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-07-31 03:07:12 -0700 |
| commit | 2608003f55ca3e02cfdcafbec54fdd325340a78e (patch) | |
| tree | d4b440a5fbba60113961aa2e5877f11a1741ba00 /git-checkout.sh | |
| parent | b63fafdfd844c2037fba53b9944431c1378b4135 (diff) | |
| download | git-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-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 |