From 1731a9b5dc70f7a1adf6143a06f29d893944e858 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 | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh
index 6f6aeb28e82b0..2ac21f2d98357 100644
--- a/ci/android-install-sdk.sh
+++ b/ci/android-install-sdk.sh
@@ -58,6 +58,11 @@ yes | ./sdk/cmdline-tools/tools/bin/sdkmanager --no_https \
         "platforms;android-${api}" \
         "${image}" | grep -v = || true
 
+cat sdk/emulator/package.xml
+exit 1
+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}" \