From 8fe7a30e312bcadcbf05b927d895690f9c3436eb Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Thu, 3 Dec 2020 00:05:34 +0100
Subject: [PATCH] add docker service to travis.yml

---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 9087d87..f1863eb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -11,6 +11,8 @@ addons:
     - ubuntu-toolchain-r-test
     packages:
     - cmake
+services:
+- docker
 before_install:
 - export LD_LIBRARY_PATH=$(if [[ $CXX == "clang++" ]]; then echo -n '/usr/local/clang/lib';
   fi)
@@ -21,7 +23,7 @@ before_script:
 script:
 - make -j4
 - ctest --verbose
-- docker build -t ad-freiburg/pfaedle .
+- docker build -t adfreiburg/pfaedle .
 deploy:
   on:
     branch: master