From 17247f7c99637d6771bf5b6e63b9643bf407424d Mon Sep 17 00:00:00 2001
From: Martin Hamrle <martin.hamrle@monetas.net>
Date: Thu, 15 Jan 2015 18:34:27 +0100
Subject: [PATCH] Use bash for NDK make toolchain

---
 dist-build/android-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist-build/android-build.sh b/dist-build/android-build.sh
index ba848d78..b76dfd6c 100755
--- a/dist-build/android-build.sh
+++ b/dist-build/android-build.sh
@@ -25,7 +25,7 @@ export PATH="${PATH}:${TOOLCHAIN_DIR}/bin"
 # Clean up before build
 rm -rf "${TOOLCHAIN_DIR}" "${PREFIX}"
 
-$MAKE_TOOLCHAIN --platform="${NDK_PLATFORM:-android-14}" \
+bash $MAKE_TOOLCHAIN --platform="${NDK_PLATFORM:-android-14}" \
                 --arch="$TARGET_ARCH" \
                 --install-dir="$TOOLCHAIN_DIR" && \
 ./configure --host="${HOST_COMPILER}" \