Brad King 12a781301c ExternalProject: Run git checkout with -- to clarify arguments ...

Fix the case when the tag name to be checked out also happens to match a
path name.  Unfortunately we cannot do this for Git versions prior to
1.8.5 because they do not "do what I mean" to checkout remote branches
when the `--` argument is given.

Fixes: #16678

2017-04-03 14:34:35 -04:00

87 KiB

Raw Blame History

View Raw