From: relan Date: Tue, 14 Nov 2017 09:29:21 +0000 (+0300) Subject: buildserver: allow gradle/sdkmanager to install new platforms X-Git-Tag: 0.9~14^2~1 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=358fedc611c5ea6fddbb70a752834840e37d14e7;p=fdroidserver.git 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 54f89cb6..8e80519f 100644 --- 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