Merge branch 'ExternalProject-download-loop' into release
This commit is contained in:
commit
0161761d68
|
@ -607,6 +607,7 @@ Retrying download.
|
||||||
file(REMOVE \"\${file}\")
|
file(REMOVE \"\${file}\")
|
||||||
execute_process(COMMAND \${CMAKE_COMMAND} -P \"${download_script}\")
|
execute_process(COMMAND \${CMAKE_COMMAND} -P \"${download_script}\")
|
||||||
endif()
|
endif()
|
||||||
|
math(EXPR attempt \"\${attempt} + 1\")
|
||||||
endwhile()
|
endwhile()
|
||||||
|
|
||||||
if(\${succeeded})
|
if(\${succeeded})
|
||||||
|
|
Loading…
Reference in New Issue