git-checkout: allow "checkout HEAD -- path"
authorJunio C Hamano <junkio@cox.net>
Mon, 31 Jul 2006 10:07:12 +0000 (03:07 -0700)
committerJunio C Hamano <junkio@cox.net>
Mon, 31 Jul 2006 10:07:12 +0000 (03:07 -0700)
Even though -- is redundant in this case, we should allow it to prevent
confusion.

Signed-off-by: Junio C Hamano <junkio@cox.net>
git-checkout.sh

index 5613bfc..580a9e8 100755 (executable)
@@ -67,6 +67,10 @@ while [ "$#" != "0" ]; do
                        set x "$arg" "$@"
                        shift
                fi
                        set x "$arg" "$@"
                        shift
                fi
+               case "$1" in
+               --)
+                       shift ;;
+               esac
                break
                ;;
     esac
                break
                ;;
     esac