Copy locally the coverage result

This commit is contained in:
Andrea Mazzoleni 2017-11-06 22:16:21 +01:00
parent 5f716773ab
commit 176851bbda

View file

@ -22,6 +22,8 @@ if ! make lcov_reset check lcov_capture lcov_html; then
exit 1
fi
cp -a cov $SOURCE/cov
if ! make distclean; then
exit 1
fi