diff --git a/build-droid/build-all.sh b/build-droid/build-all.sh index 7e7e9d7..9dfeca6 100755 --- a/build-droid/build-all.sh +++ b/build-droid/build-all.sh @@ -89,7 +89,11 @@ pushd $TMPDIR export ANDROID_API_LEVEL="14" export ARM_TARGET="armv7" -export TOOLCHAIN_VERSION="4.7" + +if [ -z $TOOLCHAIN_VERSION ] +then + export TOOLCHAIN_VERSION="4.7" +fi # Platforms to build for (changing this may break the build) PLATFORMS="arm-linux-androideabi"