chiark / gitweb /
buildserver: allow gradle/sdkmanager to install new platforms
authorrelan <email@hidden>
Tue, 14 Nov 2017 09:29:21 +0000 (12:29 +0300)
committerrelan <email@hidden>
Tue, 14 Nov 2017 09:31:52 +0000 (12:31 +0300)
commit358fedc611c5ea6fddbb70a752834840e37d14e7
tree8cd96dd232752d996b8b0644c9a6ef127ddf4a7f
parent1ae4bd77b28c2849cab73163672c0cb3260e7a5d
buildserver: allow gradle/sdkmanager to install new platforms

Google releases new API SDKs quite rarely (about 2 times a year), but when
they do this, many apps quickly start using it. Allow downloading new API
SDKs to avoid waiting for the next buildserver rebuild.
buildserver/provision-android-sdk