commit bdb3df80a02e25a3f5a92198d444156c06ca438f
author Luca Milanesio <luca.milanesio@gmail.com> Fri Dec 02 19:49:04 2016 -0500
committer Luca Milanesio <luca.milanesio@gmail.com> Sat Dec 03 21:46:08 2016 +0000
tree f7494482741064bf6e743601694688434e1b128e
parent eb30c206170d2e041d83d18da9c7335dc221f8e6

Align Docker version with the Gerrit-CI host

Change-Id: I47e6f04329042c6c3cf01ebfb73fc48ee05b9ed0

jenkins-docker/master/Dockerfile

diff --git a/jenkins-docker/master/Dockerfile b/jenkins-docker/master/Dockerfile
index a64f143..7e2172e 100644
--- a/jenkins-docker/master/Dockerfile
+++ b/jenkins-docker/master/Dockerfile
@@ -69,7 +69,7 @@
 RUN echo "deb https://apt.dockerproject.org/repo debian-jessie main" > /etc/apt/sources.list.d/docker.list
 RUN apt-get update
 RUN apt-cache policy docker-engine
-RUN apt-get install -y docker-engine
+RUN apt-get install -y docker-engine=1.11.2-0~jessie
 
 COPY id_rsa* $JENKINS_REF/.ssh/
 RUN chown jenkins:jenkins $JENKINS_REF/.ssh/id_rsa*