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>
This commit is contained in:
parent
b63fafdfd8
commit
2608003f55
@ -67,6 +67,10 @@ while [ "$#" != "0" ]; do
|
||||
set x "$arg" "$@"
|
||||
shift
|
||||
fi
|
||||
case "$1" in
|
||||
--)
|
||||
shift ;;
|
||||
esac
|
||||
break
|
||||
;;
|
||||
esac
|
||||
|
Loading…
Reference in New Issue
Block a user