fix:android:Add workaround for android platform tools (navit-gps#357)

jkoan · Nov 1, 2017 · 5214a6e · 5214a6e
1 parent 49706d3
commit 5214a6e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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'