diff options
| author | kennytm <kennytm@gmail.com> | 2018-08-16 20:06:55 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-08-16 20:06:55 +0800 |
| commit | b75f1bade0b108f79ac6025f27aeb6937759673b (patch) | |
| tree | 8454d6ad58faf0ab65f6aff8af85eac929b1a33d /src/ci/docker | |
| parent | 53837db0019248f947c93164868828debed170bb (diff) | |
| download | rust-b75f1bade0b108f79ac6025f27aeb6937759673b.tar.gz rust-b75f1bade0b108f79ac6025f27aeb6937759673b.zip | |
Revert "Use public DNS server instead of 169.254.169.254 on CI."
This reverts commit 32e8bda4e35ada92beab7236d62520e6c6df8596.
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/run.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index b1ee636644e..3a7714d32fa 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -119,10 +119,6 @@ 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" \ |