git-checkout: allow "checkout HEAD -- path"

Junio C Hamano · Junio C Hamano · commit 2608003f55ca · 2006-07-31T03:07:12.000-07:00
Even though -- is redundant in this case, we should allow it to prevent
confusion.

Signed-off-by: Junio C Hamano &lt;junkio@cox.net&gt;
diff --git 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
