diff options
author | jkoan <jkoan@users.noreply.github.com> | 2017-10-31 19:22:59 +0100 |
---|---|---|
committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2017-10-31 11:22:59 -0700 |
commit | d2c9578378ab0c6e25b80771b43513b48832aabd (patch) | |
tree | 5bda3e40f4866f743bec7cba64b8c73e840c2463 | |
parent | 1198e632fe73a9116ce995035a7e6be5c50acdad (diff) | |
download | navit-d2c9578378ab0c6e25b80771b43513b48832aabd.tar.gz |
fix:android:Add workaround for android platform tools (#357)
-rw-r--r-- | ci/setup_android.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ci/setup_android.sh b/ci/setup_android.sh index 64e250635..f3ae96900 100644 --- a/ci/setup_android.sh +++ b/ci/setup_android.sh @@ -13,6 +13,14 @@ cd /opt && rm -f android-sdk.tgz export PATH=${PATH}:${ANDROID_SDK_HOME}/tools:${ANDROID_SDK_HOME}/platform-tools:/opt/tools echo y | android update sdk --no-ui --all --filter platform-tools | grep 'package installed' + +# This is only an workaround to make sure the platform tools are installed +if [ ! -d ${ANDROID_SDK_HOME}/platform-tools ] && [ -f ${ANDROID_SDK_HOME}/temp/platform-tools_r26.0.2-linux.zip ]; then + if [ "$(md5sum ${ANDROID_SDK_HOME}/temp/platform-tools_r26.0.2-linux.zip | cut -d" " -f1)" == "ef952bb31497f7535e061ad0e712bed8" ]; then + cd ${ANDROID_SDK_HOME} && unzip ${ANDROID_SDK_HOME}/temp/platform-tools_r26.0.2-linux.zip + fi +fi + #RUN echo y | android update sdk --no-ui --all --filter extra-android-support | grep 'package installed' echo y | android update sdk --no-ui --all --filter android-25 | grep 'package installed' |