From 8046dfeb9cd226a3425a4e3a9f8ac13a3d11348c Mon Sep 17 00:00:00 2001
From: peusterm <manuel.peuster@uni-paderborn.de>
Date: Mon, 6 Feb 2017 09:10:54 +0100
Subject: [PATCH] Fix: typo

---
 utils/ci/jenkins_entrypoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.25.1