mirror of
https://git.mirrors.martin98.com/https://github.com/gulrak/filesystem
synced 2025-06-11 02:36:33 +08:00
Cleanup coverage paths.
This commit is contained in:
parent
8b37292acb
commit
169fac8274
@ -87,5 +87,6 @@ after_success:
|
|||||||
if [ "${GHC_COVERAGE}" = "1" ]; then
|
if [ "${GHC_COVERAGE}" = "1" ]; then
|
||||||
lcov --compat-libtool --directory . --capture --output-file coverage_output.info
|
lcov --compat-libtool --directory . --capture --output-file coverage_output.info
|
||||||
lcov --remove coverage_output.info '/usr/*' '*/c++/*' '*.h' '*/catch.hpp' -o coverage.info
|
lcov --remove coverage_output.info '/usr/*' '*/c++/*' '*.h' '*/catch.hpp' -o coverage.info
|
||||||
|
sed -i 's|SF:/.*/|SF:|g' coverage.info
|
||||||
coveralls-lcov coverage.info
|
coveralls-lcov coverage.info
|
||||||
fi
|
fi
|
||||||
|
Loading…
x
Reference in New Issue
Block a user