tree ca4a44de7dff99492415d222b1e1c0f783342d6c
parent d421274e3e11a0e6480358faa8a8e5cf48d7b3c2
author Nate Avers <nathan.avers@alumni.case.edu> 1595557522 -0400
committer Brad King <brad.king@kitware.com> 1595597946 -0400

ExternalProject: omit --no-checkout from git clone when using git 2.20.x.

The optimization from commit 627fc5b44f (ExternalProject: Avoid
unnecessary checkout on clone, 2019-07-29, v3.16.0-rc1~325^2) triggers a
bug in the Git 2.20.x series that is not in older or newer versions.
Drop the optimization for that specific range of Git versions.

Fixes: #21009