diff options
| author | kennytm <kennytm@gmail.com> | 2018-06-08 04:33:46 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-06-08 05:15:50 +0800 |
| commit | 32e8bda4e35ada92beab7236d62520e6c6df8596 (patch) | |
| tree | 36babb73f6a486eadab59b1c7a1c81a236f72d1f /src/ci | |
| parent | 6e7affffacb37b79c61e10c894964d934495da44 (diff) | |
| download | rust-32e8bda4e35ada92beab7236d62520e6c6df8596.tar.gz rust-32e8bda4e35ada92beab7236d62520e6c6df8596.zip | |
Use public DNS server instead of 169.254.169.254 on CI.
Tries to workaround travis-ci/travis-ci#9696.
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/docker/run.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 3465e386cd9..8913fdaa888 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -118,6 +118,10 @@ fi # goes ahead and sets it for all builders. args="$args --privileged" +if [ "$CI" != "" ]; then + args="$args --dns 8.8.8.8 --dns 8.8.4.4 --dns 1.1.1.1 --dns 1.0.0.1" +fi + exec docker \ run \ --volume "$root_dir:/checkout:ro" \ |