From fdf5d37383d64ceea64b865a8a4aec5da052d707 Mon Sep 17 00:00:00 2001
From: Steffen Schuemann <s.schuemann@pobox.com>
Date: Sun, 19 May 2019 12:41:52 +0200
Subject: [PATCH] Work on better CI integration.

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

diff --git a/.travis.yml b/.travis.yml
index 631c599..9f0bccd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -50,7 +50,10 @@ install:
       brew update
       brew upgrade cmake
     fi
-  - pip install --user cpp-coveralls
+  - |
+    if [ "${GHC_COVERALLS}" = "1" ]; then
+      pip install --user cpp-coveralls
+    fi
   - $CC --version
   - $CXX --version
   - cmake --version