From 6e3b01f53a570b535a70616894a609567ba193ce Mon Sep 17 00:00:00 2001 From: Fredrik Fornwall Date: Wed, 1 Aug 2018 22:18:14 +0200 Subject: [PATCH] Use newer sdk-tools-linux in setup-android-sdk.sh --- scripts/setup-android-sdk.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/setup-android-sdk.sh b/scripts/setup-android-sdk.sh index 3cfb9331c..b60ee9589 100755 --- a/scripts/setup-android-sdk.sh +++ b/scripts/setup-android-sdk.sh @@ -12,10 +12,10 @@ if [ ! -d $ANDROID_HOME ]; then rm -Rf `basename $ANDROID_HOME` # https://developer.android.com/studio/index.html#command-tools - # The downloaded version below is 26.0.1.: + # The downloaded version below is 26.1.1.: curl --fail --retry 3 \ -o tools.zip \ - https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip + https://dl.google.com/android/repository/sdk-tools-linux-4333796.zip rm -Rf android-sdk unzip -q tools.zip -d android-sdk rm tools.zip