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

---
 .travis.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 7a0adbb..37e723f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -67,8 +67,15 @@ before_script:
 
 script:
   - export VERBOSE=1
-  - cmake --build . --config ${CONFIG}
-  - ctest -C ${CONFIG} -E Windows
+  - cmake --build . --config ${CONFIG} --target filesystem_test
+  - |
+    if [ "${GHC_COVERAGE}" = "1" ]; then
+      cmake --build . --config ${CONFIG} --target filesystem_test
+      test/filesystem_test
+    else
+      cmake --build . --config ${CONFIG}
+      ctest -C ${CONFIG} -E Windows
+    fi
 
 after_success:
   - |