diff options
author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-10-14 20:46:13 +0900 |
---|---|---|
committer | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-10-14 21:58:03 +0900 |
commit | 9d9d15ed644144d5c459c365ddb6749a5a9bd3e4 (patch) | |
tree | f3e7662babe616f47e58d18dd4c5b08edb6c2766 /ci/android-install-ndk.sh | |
parent | ffefa3f5f8564b23bf9390f906ae816aac9dc05d (diff) | |
download | rust-libc-9d9d15ed644144d5c459c365ddb6749a5a9bd3e4.tar.gz |
Use wget instead of curlgha
Diffstat (limited to 'ci/android-install-ndk.sh')
-rw-r--r-- | ci/android-install-ndk.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/android-install-ndk.sh b/ci/android-install-ndk.sh index 07d3703959..e37a5542c3 100644 --- a/ci/android-install-ndk.sh +++ b/ci/android-install-ndk.sh @@ -3,7 +3,7 @@ set -ex NDK=android-ndk-r21d -curl --retry 20 -O https://dl.google.com/android/repository/${NDK}-linux-x86_64.zip +wget --tries=20 https://dl.google.com/android/repository/${NDK}-linux-x86_64.zip unzip -q ${NDK}-linux-x86_64.zip case "$1" in |