diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk index 8e9724bc..7a78d845 100644 --- a/buildserver/provision-android-ndk +++ b/buildserver/provision-android-ndk @@ -14,7 +14,7 @@ if [ ! -e $NDK_BASE/r10e ]; then mv android-ndk-r10e r10e fi -for version in r11c r12b r13b r14b r15c r16b; do +for version in r11c r12b r13b r14b r15c r16b r17b; do if [ ! -e ${NDK_BASE}/${version} ]; then unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null mv android-ndk-${version} ${version}