From 7e8aa5eb2898ed241f252599e0b8cb12bf38f794 Mon Sep 17 00:00:00 2001 From: peusterm Date: Mon, 6 Feb 2017 09:09:26 +0100 Subject: [PATCH] Fix: We don't want the pre-installed docker engine. --- utils/ci/jenkins_entrypoint.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/utils/ci/jenkins_entrypoint.sh b/utils/ci/jenkins_entrypoint.sh index 8627447..65d754a 100755 --- a/utils/ci/jenkins_entrypoint.sh +++ b/utils/ci/jenkins_entrypoint.sh @@ -4,6 +4,9 @@ # Script has do be called from "son-emu" root directory, like: sudo ./utils/ci/jenkins_entrypoint.sh export DOCKER_HOST="unix:///var/run/docker.sock" +# don't rely on Debian/Ubuntu Docker engine +apt-get remove docker-enigne + set -e set -x -- 2.25.1