.appveyor-download.cmd

   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
   4
   5 @echo off
   6 rem initiate the retry number
   7 set retryNumber=0
   8 set maxRetries=6
   9 set time=0
  10
  11 :DOWNLOAD
  12 timeout %time% > NUL
  13 set /a time=2*%time%+1
  14 appveyor DownloadFile %*
  15
  16 rem problem?
  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!
  22 EXIT /B 1