commit | 627fc5b44f7c5fab2d6bc81ae3a0d9b06cb9f3bf | [log] [tgz] |
---|---|---|
author | Tetragramm <gaussgun+github@gmail.com> | Mon Jul 29 18:17:49 2019 -0500 |
committer | Brad King <brad.king@kitware.com> | Tue Jul 30 11:45:33 2019 -0400 |
tree | f5de01fbd5469f1339522e57ad7c7212b404b344 | |
parent | f6df9c2565ed00ec6f57c32a36dd451c60917f97 [diff] |
ExternalProject: Avoid unnecessary checkout on clone The clone step checks out the cloned branch but is always followed by an explicit checkout of the desired `GIT_TAG`. Tell `git clone` not to check out.