ExternalProject: Re-run 'git clone' when GIT_REMOTE_NAME changes

This commit is contained in:
Bartosz Kosiorek
2019-03-13 15:38:35 +01:00
committed by Brad King
parent 7358f317e3
commit 98e6822fdf

View File

@@ -2460,7 +2460,7 @@ function(_ep_add_download_command name)
#
set(repository ${git_repository})
set(module)
set(tag)
set(tag ${git_remote_name})
configure_file(
"${CMAKE_ROOT}/Modules/RepositoryInfo.txt.in"
"${stamp_dir}/${name}-gitinfo.txt"