From 32e8bda4e35ada92beab7236d62520e6c6df8596 Mon Sep 17 00:00:00 2001
From: kennytm <kennytm@gmail.com>
Date: Fri, 8 Jun 2018 04:33:46 +0800
Subject: Use public DNS server instead of 169.254.169.254 on CI.

Tries to workaround travis-ci/travis-ci#9696.
---
 src/ci/docker/run.sh | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/ci')

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" \
-- 
cgit 1.4.1-3-g733a5