Increase retries of Android downloads

This commit is contained in:
gnzlbg
2019-05-23 19:10:58 +02:00
parent 0a2a8235db
commit 5a4deec2a5
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -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
+1 -1
View File
@@ -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