diff options
| author | bors <bors@rust-lang.org> | 2023-01-18 19:49:02 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-01-18 19:49:02 +0000 |
| commit | 333ee6c466972185973d5097f8b5fb0f9fb13fa5 (patch) | |
| tree | dd325fd59034fc8165b7c46395379c33774a5b4e /src/ci/docker/scripts | |
| parent | 6d46b1ec8769fbbb3ac2a2cb12f0cad527135413 (diff) | |
| parent | 0fb426ace4ed07bc023863ebd8103ac49fba1283 (diff) | |
| download | rust-333ee6c466972185973d5097f8b5fb0f9fb13fa5.tar.gz rust-333ee6c466972185973d5097f8b5fb0f9fb13fa5.zip | |
Auto merge of #105716 - chriswailes:ndk-update-redux, r=pietroalbini
Ndk update redux Blocked on https://github.com/rust-lang/blog.rust-lang.org/pull/1055
Diffstat (limited to 'src/ci/docker/scripts')
| -rw-r--r-- | src/ci/docker/scripts/android-ndk.sh | 22 |
1 files changed, 2 insertions, 20 deletions
diff --git a/src/ci/docker/scripts/android-ndk.sh b/src/ci/docker/scripts/android-ndk.sh index ba70c62ea30..4dd6ac274fd 100644 --- a/src/ci/docker/scripts/android-ndk.sh +++ b/src/ci/docker/scripts/android-ndk.sh @@ -4,28 +4,10 @@ set -ex URL=https://dl.google.com/android/repository download_ndk() { - mkdir -p /android/ndk - cd /android/ndk + mkdir /android/ + cd /android curl -fO $URL/$1 unzip -q $1 rm $1 mv android-ndk-* ndk } - -make_standalone_toolchain() { - # See https://developer.android.com/ndk/guides/standalone_toolchain.htm - python3 /android/ndk/ndk/build/tools/make_standalone_toolchain.py \ - --install-dir /android/ndk/$1-$2 \ - --arch $1 \ - --api $2 -} - -remove_ndk() { - rm -rf /android/ndk/ndk -} - -download_and_make_toolchain() { - download_ndk $1 && \ - make_standalone_toolchain $2 $3 && \ - remove_ndk -} |
