diff options
author | gnzlbg <gonzalobg88@gmail.com> | 2019-02-09 18:22:35 +0100 |
---|---|---|
committer | gnzlbg <gonzalobg88@gmail.com> | 2019-02-09 18:22:35 +0100 |
commit | 4a56c47a173d6f3df31661c15efb49c6faefa261 (patch) | |
tree | 1bcbb79034d32eccde5e8c3dc5197bca6e210c49 /ci/android-install-sdk.sh | |
parent | d42ef14ebae108598cca38f727c718a179155818 (diff) | |
download | rust-libc-4a56c47a173d6f3df31661c15efb49c6faefa261.tar.gz |
Increase the number of retries for curl
Diffstat (limited to 'ci/android-install-sdk.sh')
-rw-r--r-- | ci/android-install-sdk.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh index 6b5ac09ab0..64cfbf1170 100644 --- a/ci/android-install-sdk.sh +++ b/ci/android-install-sdk.sh @@ -19,7 +19,7 @@ set -ex # which apparently magically accepts the licenses. mkdir sdk -curl --retry 5 https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip -O +curl --retry 10 https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip -O unzip -d sdk sdk-tools-linux-3859397.zip case "$1" in |