From 7e8aa5eb2898ed241f252599e0b8cb12bf38f794 Mon Sep 17 00:00:00 2001
From: peusterm <manuel.peuster@uni-paderborn.de>
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