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.

diff --git a/buildserver/provision-android-sdk b/buildserver/provision-android-sdk
index 54f89cb652e7452b66109a973127d59a122f2ee4..8e80519fe2413ecbf8370f3c30aeec9680e9ed75 100644 (file)
--- a/buildserver/provision-android-sdk
+++ b/buildserver/provision-android-sdk
@@ -86,9 +86,9 @@ chgrp vagrant $ANDROID_HOME
 chmod g+w $ANDROID_HOME
 find $ANDROID_HOME/ -type f -executable -print0 | xargs -0 chmod a+x
 
-# allow gradle to install newer build-tools versions
-chgrp vagrant $ANDROID_HOME/build-tools
-chmod g+w $ANDROID_HOME/build-tools
+# allow gradle to install newer build-tools and platforms
+chgrp vagrant $ANDROID_HOME/{build-tools,platforms}
+chmod g+w $ANDROID_HOME/{build-tools,platforms}
 
 # allow gradle/sdkmanager to install into the new m2repository
 test -d $ANDROID_HOME/extras/m2repository || mkdir -p $ANDROID_HOME/extras/m2repository