| commit | b46b6e2e720e7af265ce82e1c17e042345116238 | [log] [tgz] |
|---|---|---|
| author | Tom Parker-Shemilt <palfrey@tevp.net> | Mon Nov 26 21:34:43 2018 +0000 |
| committer | Tom Parker-Shemilt <palfrey@tevp.net> | Mon Nov 26 21:34:43 2018 +0000 |
| tree | 1a9f3cf08019f3ec0cc5b927e84aa20393395bba | |
| parent | 530f31f6c17624f20f3897ae930eaea34a574296 [diff] [blame] |
Retry all curl operations
diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh index e43cbc3..c0f63c9 100644 --- a/ci/android-install-sdk.sh +++ b/ci/android-install-sdk.sh
@@ -19,7 +19,7 @@ # 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