Use public DNS server instead of 169.254.169.254 on CI.

Tries to workaround travis-ci/travis-ci#9696.
rust-lang · Jun 7, 2018 · 32e8bda · 32e8bda
1 parent 6e7afff
commit 32e8bda
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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" \