From 4c554bfa7d390a42ab7e2feca9da3ef336a7999f Mon Sep 17 00:00:00 2001
From: Billy O'Neal <billy.oneal@gmail.com>
Date: Wed, 24 Oct 2018 00:35:49 -0700
Subject: [PATCH] Update NDK to r18b, as that's what's in Pipelines. (#931)

---
 Build_android/configure.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Build_android/configure.sh b/Build_android/configure.sh
index 7dd6d8cf82..13a7cfb02f 100755
--- a/Build_android/configure.sh
+++ b/Build_android/configure.sh
@@ -13,7 +13,7 @@
 
 set -e
 
-# The Android NDK r10e or later may work, but we test with r17c. To download, see the following link:
+# The Android NDK r10e or later may work, but we test with r18b. To download, see the following link:
 # https://developer.android.com/ndk/downloads/index.html
 
 # -----------------
@@ -143,7 +143,7 @@ if [ "${DO_OPENSSL}" == "1" ]; then (
 if [ "${DO_BOOST}" == "1" ]; then (
     if [ ! -d 'Boost-for-Android' ]; then git clone https://github.com/moritz-wundke/Boost-for-Android; fi
     cd Boost-for-Android
-    git checkout 1bd9aa13463be4553b1146d6a5916566c2fba69c
+    git checkout 84973078a3d7668067d422d4654696ef59ab9d6d
     PATH="$PATH:$NDK_DIR" \
     CXXFLAGS="-std=gnu++11" \
     ./build-android.sh \