diff --git a/ci/android-ndk.sh b/ci/android-ndk.sh index 4072a46c..7d2d12f2 100755 --- a/ci/android-ndk.sh +++ b/ci/android-ndk.sh @@ -5,7 +5,7 @@ ANDROID_NDK_ARCHIVE=android-ndk-r26d-linux.zip mkdir /android-toolchain cd /android-toolchain -curl -fO $ANDROID_NDK_URL/$ANDROID_NDK_ARCHIVE +curl --retry 20 -fO $ANDROID_NDK_URL/$ANDROID_NDK_ARCHIVE unzip -q $ANDROID_NDK_ARCHIVE rm $ANDROID_NDK_ARCHIVE mv android-ndk-* ndk