1 rem This file is https://raw.githubusercontent.com/symengine/symengine/master/bin/appveyor-download.cmd
2 rem Try to download a given file, with at most maxRetries attempts
3 rem This is useful because AppVeyor suffers of many transient network error
6 rem initiate the retry number
13 set /a time=2*%time%+1
14 appveyor DownloadFile %*
17 IF NOT ERRORLEVEL 1 GOTO :EOF
18 @echo Oops, appveyor download exited with code %ERRORLEVEL% - let us try again!
19 set /a retryNumber=%retryNumber%+1
20 IF %reTryNumber% LSS %maxRetries% (GOTO :DOWNLOAD)
21 @echo Sorry, we tried downloading the package for %maxRetries% times and all attempts were unsuccessful!