Weblate

[fdroidserver.git] / buildserver / provision-android-ndk

diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk
index e2a9a6516cd5b0659d779e057bd841ab692cceb2..8e9724bc57702e5ca2344d651d80bc0089f485b6 100644 (file)
--- a/buildserver/provision-android-ndk
+++ b/buildserver/provision-android-ndk
@@ -14,8 +14,7 @@ if [ ! -e $NDK_BASE/r10e ]; then
     mv android-ndk-r10e r10e
 fi
 
-for f in /vagrant/cache/android-ndk-r[1-9][0-9]*-linux-x86_64.zip; do
-    version=`echo $f |sed  's,.*\(r[1-9][0-9][a-z]\?\).*,\1,'`
+for version in r11c r12b r13b r14b r15c r16b; do
     if [ ! -e ${NDK_BASE}/${version} ]; then
         unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
         mv android-ndk-${version} ${version}