diff options
| author | gnzlbg <gonzalobg88@gmail.com> | 2019-05-23 19:10:58 +0200 |
|---|---|---|
| committer | gnzlbg <gonzalobg88@gmail.com> | 2019-05-23 19:10:58 +0200 |
| commit | ea31f5aeb5a616402bd75146fee847d5417319cc (patch) | |
| tree | 845200b7ae8aee56722542f7dc2ebff5f539d2fe | |
| parent | ccad8b426cb6c9811f725ea6174152b5b642c06a (diff) | |
| download | rust-libc-ea31f5aeb5a616402bd75146fee847d5417319cc.tar.gz | |
Increase retries of Android downloads
| -rw-r--r-- | ci/android-install-ndk.sh | 2 | ||||
| -rw-r--r-- | ci/android-install-sdk.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ci/android-install-ndk.sh b/ci/android-install-ndk.sh index 90c9747c33..723e719054 100644 --- a/ci/android-install-ndk.sh +++ b/ci/android-install-ndk.sh @@ -12,7 +12,7 @@ set -ex NDK=android-ndk-r19c -curl --retry 10 -O https://dl.google.com/android/repository/${NDK}-linux-x86_64.zip +curl --retry 20 -O https://dl.google.com/android/repository/${NDK}-linux-x86_64.zip unzip -q ${NDK}-linux-x86_64.zip case "$1" in diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh index fe28d43417..7f2104000f 100644 --- a/ci/android-install-sdk.sh +++ b/ci/android-install-sdk.sh @@ -20,7 +20,7 @@ set -ex SDK=4333796 mkdir sdk -curl --retry 10 https://dl.google.com/android/repository/sdk-tools-linux-${SDK}.zip -O +curl --retry 20 https://dl.google.com/android/repository/sdk-tools-linux-${SDK}.zip -O unzip -q -d sdk sdk-tools-linux-${SDK}.zip case "$1" in |