| commit | 7e8aa5eb2898ed241f252599e0b8cb12bf38f794 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 09:09:26 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 09:09:26 2017 +0100 |
| tree | 4bfeeb0a6aeb98da44e6bb61ae7851d50c8093ed | |
| parent | 86fc48ef6b475e7d0187b6b294ae25c27b191150 [diff] |
Fix: We don't want the pre-installed docker engine.
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