From c6bf32831f3899edce6873be33339c047203429f Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 27 Dec 2018 16:37:44 +0000 Subject: [PATCH] use ec2 ubuntu mirror --- buildspec.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/buildspec.yml b/buildspec.yml index 49308739cf5..07f7756e07d 100644 --- a/buildspec.yml +++ b/buildspec.yml @@ -3,6 +3,7 @@ version: 0.2 phases: install: commands: + - sed -i 's#/archive.ubuntu.com#/us-east-1.ec2.archive.ubuntu.com#g' /etc/apt/sources.list - add-apt-repository ppa:ubuntu-toolchain-r/test -y - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F - add-apt-repository ppa:openjdk-r/ppa -y