Retry downloading if failed

Downloading may sometimes fail. Retry once.
vim · Jul 30, 2020 · 5c3e43b · 5c3e43b
1 parent e4acbdc
commit 5c3e43b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/appveyor.bat b/appveyor.bat
@@ -335,6 +335,10 @@ goto :eof
 :: ----------------------------------------------------------------------
 :: call :downloadfile <URL> <localfile>
 if not exist %2 (
+  curl -f -L %1 -o %2
+)
+if ERRORLEVEL 1 (
+  rem Retry once.
   curl -f -L %1 -o %2 || exit 1
 )
 @goto :eof