Increase retries of Android downloads

This commit is contained in:
gnzlbg 2019-05-23 19:10:58 +02:00
parent ccad8b426c
commit ea31f5aeb5
2 changed files with 2 additions and 2 deletions

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

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