diff --git a/ci/android-install-ndk.sh b/ci/android-install-ndk.sh index 90c9747c..723e7190 100644 --- a/ci/android-install-ndk.sh +++ b/ci/android-install-ndk.sh @@ -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 diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh index fe28d434..7f210400 100644 --- a/ci/android-install-sdk.sh +++ b/ci/android-install-sdk.sh @@ -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