From 2336e02dd36ebf418cd4ce7f0aa515d1f91eda47 Mon Sep 17 00:00:00 2001
From: Steffen Schuemann <s.schuemann@pobox.com>
Date: Sun, 19 May 2019 17:27:00 +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 ef87b9e..7704bff 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -72,6 +72,6 @@ script:
 after_success:
   - |
     if [ "${GHC_COVERAGE}" = "1" ]; then
-      coveralls --root . --gcov gcov-8 -E ".*CMakeFiles.*"
+      coveralls --verbose --root .. --gcov-options '\-lp' --gcov gcov-8
     fi