From 591ce8fe6fc784d493734ea9092b995426d22667 Mon Sep 17 00:00:00 2001 From: Alex Crichton Date: Thu, 13 Dec 2018 15:30:17 -0800 Subject: [PATCH] Add retries to a number of downloads --- library/stdarch/.travis.yml | 2 +- library/stdarch/ci/android-install-ndk.sh | 2 +- library/stdarch/ci/android-install-sdk.sh | 2 +- library/stdarch/ci/android-sysimage.sh | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/library/stdarch/.travis.yml b/library/stdarch/.travis.yml index 8e21c1f84094..1551194ee585 100644 --- a/library/stdarch/.travis.yml +++ b/library/stdarch/.travis.yml @@ -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 diff --git a/library/stdarch/ci/android-install-ndk.sh b/library/stdarch/ci/android-install-ndk.sh index 1c112d6af391..944a8389aa0e 100644 --- a/library/stdarch/ci/android-install-ndk.sh +++ b/library/stdarch/ci/android-install-ndk.sh @@ -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 diff --git a/library/stdarch/ci/android-install-sdk.sh b/library/stdarch/ci/android-install-sdk.sh index e43cbc3a6bec..c0f63c9baa0f 100644 --- a/library/stdarch/ci/android-install-sdk.sh +++ b/library/stdarch/ci/android-install-sdk.sh @@ -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 diff --git a/library/stdarch/ci/android-sysimage.sh b/library/stdarch/ci/android-sysimage.sh index 6be2d612928f..31a6762cb5a2 100644 --- a/library/stdarch/ci/android-sysimage.sh +++ b/library/stdarch/ci/android-sysimage.sh @@ -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