diff options
author | jandegr <jandegr@users.noreply.github.com> | 2015-12-29 18:40:27 +0100 |
---|---|---|
committer | jandegr <jandegr@users.noreply.github.com> | 2015-12-29 18:40:27 +0100 |
commit | cc4131705d1fa1d523269584cc965f64417dd084 (patch) | |
tree | a349a20e98048725dd91aa615efa76ba73e97ae4 | |
parent | 04a01d5f0e407363f632d6143e5d70d07dd911a1 (diff) | |
download | navit-cc4131705d1fa1d523269584cc965f64417dd084.tar.gz |
Update build_android.sh
-rw-r--r-- | ci/build_android.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build_android.sh b/ci/build_android.sh index 1310c4ef1..2152a18ae 100644 --- a/ci/build_android.sh +++ b/ci/build_android.sh @@ -34,7 +34,7 @@ export SDK_ADD_FILTER="platform-tool,tools,build-tools-21.0.1,extra-android-m2re export SDK_UPD_FILTER="platform-tool,tools,build-tools-21.0.1,extra-android-m2repository,extra-android-support" -mkdir $ANDROID_HOME +# $ANDROID_HOME is /usr/local/android-sdk-linux for the android env. provided by CircleCI # If path already has our environment no need to set it if echo "$ANDROID_ENV" | grep -q "$PATH"; then |