From 7eefff284ddc4e496400ca515758cc474ec064d7 Mon Sep 17 00:00:00 2001
From: Frans de Jonge <fransdejonge@gmail.com>
Date: Wed, 4 Oct 2017 12:49:56 +0200
Subject: [PATCH] [fix] kodev: default NDKABI=14 if not set for NDK 15
 standalone toolkit

---
 kodev | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/kodev b/kodev
index cb1dc7180..e9c7dc8be 100755
--- a/kodev
+++ b/kodev
@@ -3,6 +3,10 @@
 CURDIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 VERSION=$(git describe HEAD)
 
+# Default to Android 4.0+; required for NDK 15 but with a custom NDK the strict minimum is 9.
+NDKABI=${NDKABI:-14}
+export NDKABI
+
 function assert_ret_zero() {
     if [ "$1" -ne 0 ]; then
         if [ ! -z "$2" ]; then