Work on better CI integration.

This commit is contained in:
Steffen Schuemann 2019-05-19 17:27:00 +02:00
parent 63cdf7f97a
commit 2336e02dd3

View File

@ -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