commit | 8dbefc3ca6ab7043efb85bcfb6b53aa22c31b1df | [log] [tgz] |
---|---|---|
author | Nate Avers <nathan.avers@alumni.case.edu> | Thu Jul 23 22:25:22 2020 -0400 |
committer | Brad King <brad.king@kitware.com> | Fri Jul 24 09:39:06 2020 -0400 |
tree | ca4a44de7dff99492415d222b1e1c0f783342d6c | |
parent | d421274e3e11a0e6480358faa8a8e5cf48d7b3c2 [diff] |
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