diff options
| author | Tom Parker-Shemilt <palfrey@tevp.net> | 2018-11-26 21:34:43 +0000 |
|---|---|---|
| committer | Tom Parker-Shemilt <palfrey@tevp.net> | 2018-11-26 21:34:43 +0000 |
| commit | b46b6e2e720e7af265ce82e1c17e042345116238 (patch) | |
| tree | 1a9f3cf08019f3ec0cc5b927e84aa20393395bba /ci/android-install-ndk.sh | |
| parent | 530f31f6c17624f20f3897ae930eaea34a574296 (diff) | |
| download | rust-libc-b46b6e2e720e7af265ce82e1c17e042345116238.tar.gz | |
Retry all curl operations
Diffstat (limited to 'ci/android-install-ndk.sh')
| -rw-r--r-- | ci/android-install-ndk.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/android-install-ndk.sh b/ci/android-install-ndk.sh index 4a5fbc0ba1..ce11d006ef 100644 --- a/ci/android-install-ndk.sh +++ b/ci/android-install-ndk.sh @@ -11,7 +11,7 @@ set -ex -curl -O https://dl.google.com/android/repository/android-ndk-r15b-linux-x86_64.zip +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 case "$1" in |