| commit | 2f3ad5e01ef4fb8596f2a3697c70b23244572b65 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 12:54:26 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 12:54:26 2017 +0100 |
| tree | ec6999e6544ea4958f45da7326b6d31af403220a | |
| parent | 08f91be07d9124986dacf05b7cd87eb8d3d8b338 [diff] |
Uninstall old docker clients before emulator is installed.
diff --git a/utils/ci/jenkins_entrypoint.sh b/utils/ci/jenkins_entrypoint.sh index eeff1a0..05331fb 100755 --- a/utils/ci/jenkins_entrypoint.sh +++ b/utils/ci/jenkins_entrypoint.sh
@@ -6,6 +6,9 @@ # don't rely on Debian/Ubuntu Docker engine apt-get remove docker-engine +# make sure we start from scratch +pip uninstall docker-py +pip uninstall docker set -e set -x