diff options
| author | bors <bors@rust-lang.org> | 2019-04-15 19:24:35 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-04-15 19:24:35 +0000 |
| commit | 2975a3c4befa8ad610da2e3c5f5de351d6d70a2b (patch) | |
| tree | e36a5bfe89eb99c6bc566cc16affef2b64315cd7 /src/rustllvm/RustWrapper.cpp | |
| parent | 07133ac70cca85b2f91aedb76a21ece524bc0cb4 (diff) | |
| parent | 4e920f2b04d61e2e54a080423bd766c5df1a97c8 (diff) | |
| download | rust-2975a3c4befa8ad610da2e3c5f5de351d6d70a2b.tar.gz rust-2975a3c4befa8ad610da2e3c5f5de351d6d70a2b.zip | |
Auto merge of #59926 - pietroalbini:android-sdk-manager, r=alexcrichton
ci: use a custom android sdk manager with pinning and mirroring Google's own sdkmanager has two issues that make it unsuitable for us: * Mirroring has to be done manually, which is annoying because we need to figure out on our own all the URLs to copy (I couldn't find any documentation when building this PR, had to use mitmproxy). * There is no support for pinning, which means an update on Google's side can break our CI, as it happened multiple times. This PR replaces all our usage of sdkmanager with a custom Python script which mimics its behavior, but with the two issues fixes. sdkmanager's logic for installing packages is thankfully very simple: the package name (like `system-images;android-18;default;armeabi-v7a`) is the directory where the package should live (with `;` replaced with `/`), so to install a package we only need to extract its contents in the right directory. r? @alexcrichton cc @kennytm fixes https://github.com/rust-lang/rust/issues/59778
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions