|
|
@@ -2671,6 +2671,10 @@ function(_ep_add_download_command name)
|
|
|
get_property(git_progress TARGET ${name} PROPERTY _EP_GIT_PROGRESS)
|
|
|
get_property(git_config TARGET ${name} PROPERTY _EP_GIT_CONFIG)
|
|
|
|
|
|
+ # Make checkouts quiet when checking out a git hash (this avoids the
|
|
|
+ # very noisy detached head message)
|
|
|
+ list(PREPEND git_config advice.detachedHead=false)
|
|
|
+
|
|
|
# For the download step, and the git clone operation, only the repository
|
|
|
# should be recorded in a configured RepositoryInfo file. If the repo
|
|
|
# changes, the clone script should be run again. But if only the tag
|