Use public DNS server instead of 169.254.169.254 on CI.

Tries to workaround travis-ci/travis-ci#9696.
2018-06-08 04:33:46 +08:00 · 2018-06-08 04:33:46 +08:00 · 32e8bda4e3
commit 32e8bda4e3
parent 6e7affffac
1 changed files with 4 additions and 0 deletions
--- 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" \