diff options
| author | johnthagen <johnthagen@users.noreply.github.com> | 2017-10-16 17:56:12 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-16 17:56:12 -0400 |
| commit | bd8497884c2863a10b6d67855bd90d40783ce2da (patch) | |
| tree | 5fe9ffe7f65dbea1130217b5136264d4dbc7b513 /src/ci/docker/scripts | |
| parent | 49a73d0901a60b1b77452b92372fd8629f636c2a (diff) | |
| parent | 4e9527cf6f2d3749554d07a96fe14967f5470ef6 (diff) | |
| download | rust-bd8497884c2863a10b6d67855bd90d40783ce2da.tar.gz rust-bd8497884c2863a10b6d67855bd90d40783ce2da.zip | |
Merge branch 'master' into future_imports
Diffstat (limited to 'src/ci/docker/scripts')
| -rw-r--r-- | src/ci/docker/scripts/android-sdk.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/scripts/android-sdk.sh b/src/ci/docker/scripts/android-sdk.sh index d343aae9dfb..3aa2b9d58d5 100644 --- 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() { |