Try to use an older Android emulator

Signed-off-by: Yuki Okushi <jtitor@2k36.org>
rust-lang · Nov 3, 2022 · 39bb1a1 · 39bb1a1
1 parent c3463bb
commit 39bb1a1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh
@@ -53,11 +53,13 @@ echo '#Fri Nov 03 10:11:27 CET 2017 count=0' >> /root/.android/repositories.cfg
 # which produces an insane amount of output.
 yes | ./sdk/cmdline-tools/tools/bin/sdkmanager --licenses --no_https | grep -v = || true
 yes | ./sdk/cmdline-tools/tools/bin/sdkmanager --no_https \
-        "emulator" \
         "platform-tools" \
         "platforms;android-${api}" \
         "${image}" | grep -v = || true
 
+wget -q --tries=20 https://redirector.gvt1.com/edgedl/android/repository/emulator-linux_x64-9058569.zip
+unzip -q -d sdk emulator-linux_x64-9058569.zip
+
 echo "no" |
     ./sdk/cmdline-tools/tools/bin/avdmanager create avd \
         --name "${1}" \