Add retries to a number of downloads

This commit is contained in:
Alex Crichton 2018-12-13 15:30:17 -08:00
parent 5a45175fe1
commit 591ce8fe6f
4 changed files with 4 additions and 4 deletions

View file

@ -113,7 +113,7 @@ matrix:
- env: TARGET=x86_64-pc-windows-gnu STDSIMD_DISABLE_ASSERT_INSTR=1
- env: TARGET=i686-pc-windows-gnu
install: rustup target add $TARGET
install: travis_retry rustup target add $TARGET
script:
- cargo generate-lockfile
- ci/run-docker.sh $TARGET $FEATURES

View file

@ -11,7 +11,7 @@
set -ex
curl -O \
curl --retry 5 -O \
https://dl.google.com/android/repository/android-ndk-r15b-linux-x86_64.zip
unzip -q android-ndk-r15b-linux-x86_64.zip

View file

@ -19,7 +19,7 @@ set -ex
# which apparently magically accepts the licenses.
mkdir sdk
curl https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip -O
curl --retry 5 https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip -O
unzip -d sdk sdk-tools-linux-3859397.zip
case "$1" in

View file

@ -24,7 +24,7 @@ main() {
apt-get install --no-install-recommends e2tools
pushd "$td"
curl -O "${URL}/${name}"
curl --retry 5 -O "${URL}/${name}"
unzip -q "${name}"
local system