From 9d9d15ed644144d5c459c365ddb6749a5a9bd3e4 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Wed, 14 Oct 2020 20:46:13 +0900
Subject: Use wget instead of curl

---
 ci/android-sysimage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ci/android-sysimage.sh')

diff --git a/ci/android-sysimage.sh b/ci/android-sysimage.sh
index b0b5e903f2..d6eb32ed68 100644
--- a/ci/android-sysimage.sh
+++ b/ci/android-sysimage.sh
@@ -14,7 +14,7 @@ main() {
     apt-get install --no-install-recommends e2tools
 
     pushd "${td}"
-    curl --retry 5 -O "${URL}/${name}"
+    wget --tries=5 "${URL}/${name}"
     unzip -q "${name}"
 
     local system
-- 
cgit v1.2.1