diff options
| -rw-r--r-- | third-party/cmake/DownloadAndExtractFile.cmake | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/third-party/cmake/DownloadAndExtractFile.cmake b/third-party/cmake/DownloadAndExtractFile.cmake index bb8cf1b674..e008fa8a8a 100644 --- a/third-party/cmake/DownloadAndExtractFile.cmake +++ b/third-party/cmake/DownloadAndExtractFile.cmake @@ -76,7 +76,8 @@ list(GET status 1 status_string) if(NOT status_code EQUAL 0) # Retry on certain errors, e.g. CURLE_COULDNT_RESOLVE_HOST, which is often # seen with libtermkey (www.leonerd.org.uk). - if(status_code EQUAL 6) # "Couldn't resolve host name" + if((status_code EQUAL 6) # "Couldn't resolve host name" + OR (status_code EQUAL 7)) # "Couldn't connect to server" message(STATUS "warning: retrying '${URL}' (${status_string}, status ${status_code})") execute_process(COMMAND ${CMAKE_COMMAND} -E sleep 10) file(DOWNLOAD ${URL} ${file} |