diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk index ce5608a0..fd8659b7 100644 --- a/buildserver/provision-android-ndk +++ b/buildserver/provision-android-ndk @@ -15,7 +15,7 @@ if [ ! -e $NDK_BASE/r10e ]; then mv android-ndk-r10e r10e fi -for version in r11c r12b r13b r14b r15c r16b r17b r18b r19; do +for version in r11c r12b r13b r14b r15c r16b r17b r18b r19b; do if [ ! -e ${NDK_BASE}/${version} ]; then unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null mv android-ndk-${version} ${version} diff --git a/makebuildserver b/makebuildserver index 508601ff..a5352d67 100755 --- a/makebuildserver +++ b/makebuildserver @@ -388,8 +388,8 @@ cachefiles = [ '5dfbbdc2d3ba859fed90d0e978af87c71a91a5be1f6e1c40ba697503d48ccecd'), ('https://dl.google.com/android/repository/android-ndk-r18b-linux-x86_64.zip', '4f61cbe4bbf6406aa5ef2ae871def78010eed6271af72de83f8bd0b07a9fd3fd'), - ('https://dl.google.com/android/repository/android-ndk-r19-linux-x86_64.zip', - 'c0a2425206191252197b97ea5fcc7eab9f693a576e69ef4773a9ed1690feed53'), + ('https://dl.google.com/android/repository/android-ndk-r19b-linux-x86_64.zip', + '0fbb1645d0f1de4dde90a4ff79ca5ec4899c835e729d692f433fda501623257a'), ]