add ndk r19

buildserver/config.buildserver.py

@@ -9,6 +9,7 @@ ndk_paths = {
     'r16b': "/home/vagrant/android-ndk/r16b",
     'r17b': "/home/vagrant/android-ndk/r17b",
     'r18b': "/home/vagrant/android-ndk/r18b",
+    'r19': "/home/vagrant/android-ndk/r19",
 }
 java_paths = {
     '8': "/usr/lib/jvm/java-8-openjdk-amd64",

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; do
+for version in r11c r12b r13b r14b r15c r16b r17b r18b r19; do
     if [ ! -e ${NDK_BASE}/${version} ]; then
         unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
         mv android-ndk-${version} ${version}

examples/config.py

@@ -20,6 +20,7 @@
 #     'r16b': None,
 #     'r17b': None,
 #     'r18b': None,
+#     'r19': None,
 # }
 
 # Directory to store downloaded tools in (i.e. gradle versions)

makebuildserver

@@ -373,6 +373,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'),
 ]