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

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

diff --git a/.travis.yml b/.travis.yml
index 518bd65..ef87b9e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -72,6 +72,6 @@ script:
 after_success:
   - |
     if [ "${GHC_COVERAGE}" = "1" ]; then
-      coveralls --root . -E ".*CMakeFiles.*"
+      coveralls --root . --gcov gcov-8 -E ".*CMakeFiles.*"
     fi