From 73101fcc03ddbcfcd4822811597f0bc9ccb92f8a Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Thu, 3 Dec 2020 12:50:17 +0100
Subject: [PATCH] only build image on linux

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index b1f8f80..eecaaaf 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,7 +23,7 @@ before_script:
 script:
 - make -j4
 - ctest --verbose
-- docker build -t adfreiburg/pfaedle .
+- if [[ ( "$TRAVIS_OS_NAME" == "linux" ) ]]; then cd .. && docker build -t adfreiburg/pfaedle .; fi
 deploy:
   on:
     branch: master