#!/usr/bin/env bash

set -e
set -o pipefail

if [[ ${PLATFORM} == "android" ]]; then

    # Install android ndk
    echo "Cloning mindk..."
    git clone --quiet --depth 1 --branch deploy-all-arch https://github.com/tangrams/mindk.git
    export ANDROID_NDK=$PWD/mindk/android-ndk-r10e
    echo "Done."

    # Update PATH
    echo "Updating PATH..."
    export PATH=${PATH}:${ANDROID_HOME}/tools:${ANDROID_NDK}
    echo $PATH
    echo "Done."

fi

#!/usr/bin/env bash

set -e
set -o pipefail

if [[ ${PLATFORM} == "android" ]]; then

    # Install android ndk
    echo "Cloning mindk..."
    git clone --quiet --depth 1 --branch clang-3.6 https://github.com/tangrams/mindk.git
    export ANDROID_NDK=$PWD/mindk/android-ndk-r10e
    echo "Done."

    # Update PATH
    echo "Updating PATH..."
    export PATH=${PATH}:${ANDROID_HOME}/tools:${ANDROID_NDK}
    echo $PATH
    echo "Done."

fi

--- 
+++ 
@@ -7,7 +7,7 @@
 
     # Install android ndk
     echo "Cloning mindk..."
-    git clone --quiet --depth 1 --branch deploy-all-arch https://github.com/tangrams/mindk.git
+    git clone --quiet --depth 1 --branch clang-3.6 https://github.com/tangrams/mindk.git
     export ANDROID_NDK=$PWD/mindk/android-ndk-r10e
     echo "Done."
 
Use deploy-all-arch branch for mindk
