diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/build.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ci/build.sh b/ci/build.sh index 9d07600..80f3899 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -16,4 +16,11 @@ # set -ex +sudo apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D +sudo apt-key adv -k 58118E89F3A912897C070ADBF76221572C52609D +cat << EOF | sudo tee /etc/apt/sources.list.d/docker.list +deb [arch=amd64] https://apt.dockerproject.org/repo ubuntu-xenial main +EOF +sudo apt-get install -y --allow-downgrades docker-engine=1.12.6-0~ubuntu-xenial + bash ../src/cni/ovsdpdk/build.sh |