- curl --fail --retry 3 -o tools.zip https://dl.google.com/android/repository/tools_r25.2.3-linux.zip
- rm -Rf tools android-sdk
+ # https://developer.android.com/studio/index.html#command-tools
+ # The downloaded version below is 26.0.1.:
+ curl --fail --retry 3 \
+ -o tools.zip \
+ https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip
+ rm -Rf android-sdk