From 39bb1a1cf761cbbc5cbd98c8e30f8a413e6111bb Mon Sep 17 00:00:00 2001
From: Yuki Okushi <jtitor@2k36.org>
Date: Thu, 3 Nov 2022 16:25:04 +0900
Subject: [PATCH] Try to use an older Android emulator

Signed-off-by: Yuki Okushi <jtitor@2k36.org>
---
 ci/android-install-sdk.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh
index 6f6aeb28e82b0..0a6bfce6a8985 100644
--- 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}" \