From b3d863900496a8c5dc150adfa8ab21c48bbdd97c Mon Sep 17 00:00:00 2001
From: Jeongseok Lee <jslee02@users.noreply.github.com>
Date: Tue, 10 Jul 2018 11:26:00 -0700
Subject: [PATCH] Run apt-get update before installing python3-pip

---
 .ci/script.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.ci/script.sh b/.ci/script.sh
index 0e67bf9f2..7fff323bf 100755
--- a/.ci/script.sh
+++ b/.ci/script.sh
@@ -4,6 +4,7 @@ set -ex
 echo "CXX="$CXX
 echo "CC="$CC
 if [[ "$TRAVIS_OS_NAME" == "linux" && "$CXX" = "g++" ]]; then
+  $SUDO apt-get update
   $SUDO apt-get install -y python3
   $SUDO apt-get install -y python3-pip
   $SUDO pip3 install -U wheel