diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-30 12:26:02 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-11-12 11:03:52 +0100 |
| commit | 71e50180713eaaaa3bedc827e6890cede03baa0b (patch) | |
| tree | 5187938a5e60f9c91d3dd7c55f9fb53a5fac400d /src/test/ui/thinlto | |
| parent | e3d998492abd7d61aba12cfa058fce28c998a3ff (diff) | |
| download | rust-71e50180713eaaaa3bedc827e6890cede03baa0b.tar.gz rust-71e50180713eaaaa3bedc827e6890cede03baa0b.zip | |
ci: replace MINGW_URL with CUSTOM_MINGW=1
This commit replaces the mirrors base URL contained in the MINGW_URL with a CUSTOM_MINGW=1 environment variable. The mirrors base URL will be fetched instead through the MIRRORS_BASE environment variable, defined in src/ci/shared.sh.
Diffstat (limited to 'src/test/ui/thinlto')
0 files changed, 0 insertions, 0 deletions