| commit | 8046dfeb9cd226a3425a4e3a9f8ac13a3d11348c | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 09:10:54 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 09:10:54 2017 +0100 |
| tree | 4eaee06666c2265cd39f201937aa6eabed03fc71 | |
| parent | 7e8aa5eb2898ed241f252599e0b8cb12bf38f794 [diff] |
Fix: typo
diff --git a/utils/ci/jenkins_entrypoint.sh b/utils/ci/jenkins_entrypoint.sh index 65d754a..e8e00ef 100755 --- a/utils/ci/jenkins_entrypoint.sh +++ b/utils/ci/jenkins_entrypoint.sh
@@ -5,7 +5,7 @@ export DOCKER_HOST="unix:///var/run/docker.sock" # don't rely on Debian/Ubuntu Docker engine -apt-get remove docker-enigne +apt-get remove docker-engine set -e set -x