From f5170a5149e17eeac5b815bf40f391b1cb940af4 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Mon, 11 May 2020 23:09:42 -0400
Subject: [PATCH] use curl instead of wget

---
 static/build.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index b6cef59c..e0226731 100644
--- a/static/build.html
+++ b/static/build.html
@@ -767,7 +767,7 @@ git am --whitespace=nowarn ../patches/*.patch</pre>
 
             <pre>mkdir ~/sdk
 cd ~/sdk
-wget https://dl.google.com/android/repository/sdk-tools-linux-4333796.zip
+curl -O https://dl.google.com/android/repository/sdk-tools-linux-4333796.zip
 unzip sdk-tools-linux-4333796.zip
 rm sdk-tools-linux-4333796.zip</pre>