diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-05-09 11:32:41 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-05-09 11:32:41 +0200 |
| commit | 8f9e90b9cd4d377c8a880dc9b66932bcaf1da72d (patch) | |
| tree | 2a6c65a12c54e35b8e43ff1d0a2e24213b894f7b /src/ci/docker | |
| parent | d4f071af23018bab33e7f33617573704323e6daa (diff) | |
| download | rust-8f9e90b9cd4d377c8a880dc9b66932bcaf1da72d.tar.gz rust-8f9e90b9cd4d377c8a880dc9b66932bcaf1da72d.zip | |
ci: use our own mirror for fuchsia's zircon repository
The canonical repository on fuchsia.googlesource.com is not accessible anymore, neither for anonymous access nor logged in access. This commit switches our CI to fetch the repository from our own mirror.
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/dist-various-2/build-fuchsia-toolchain.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/dist-various-2/build-fuchsia-toolchain.sh b/src/ci/docker/dist-various-2/build-fuchsia-toolchain.sh index 3b91918288a..73acdf5be63 100755 --- a/src/ci/docker/dist-various-2/build-fuchsia-toolchain.sh +++ b/src/ci/docker/dist-various-2/build-fuchsia-toolchain.sh @@ -10,7 +10,7 @@ pushd zircon > /dev/null # Download sources git init -git remote add origin https://fuchsia.googlesource.com/zircon +git remote add origin https://github.com/rust-lang-nursery/mirror-google-fuchsia-zircon git fetch --depth=1 origin $ZIRCON git reset --hard FETCH_HEAD |