Auto merge of #45193 - alexcrichton:fix-travis, r=alexcrichton

bors · bors · commit 264aafe0566e · 2017-10-11T05:18:13.000Z
ci: Fix installing the Android SDK

Apparently the https urls are broken due to some certificate validation
whatnots, and so far the least intrusive solution I've found is to just disable
that.
diff --git a/src/ci/docker/scripts/android-sdk.sh b/src/ci/docker/scripts/android-sdk.sh
@@ -31,7 +31,7 @@ download_sysimage() {
     # Keep printing yes to accept the licenses
     while true; do echo yes; sleep 10; done | \
         /android/sdk/tools/android update sdk -a --no-ui \
-            --filter "$filter"
+            --filter "$filter" --no-https
 }
 
 create_avd() {

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ download_sysimage() {`
`31`	`31`	`# Keep printing yes to accept the licenses`
`32`	`32`	`while true; do echo yes; sleep 10; done \| \`
`33`	`33`	`/android/sdk/tools/android update sdk -a --no-ui \`
`34`		`- --filter "$filter"`
	`34`	`+ --filter "$filter" --no-https`
`35`	`35`	`}`
`36`	`36`
`37`	`37`	`create_avd() {`