Makefile: local-code-coverage-output always succeeds

diff --git a/Makefile.am b/Makefile.am
index c2fb21771be128bb1cbb9d05c04f13e5280254bb..c236019360177060ed955c4a7b1f255c08ed1d17 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -76,7 +76,7 @@ abi-check:
 @CODE_COVERAGE_RULES@
 
 local-code-coverage-output: code-coverage-capture
-       cat GnuTLS-$(VERSION)-coverage/index.html|grep headerCovTableEntryLo|head -1|sed 's/^.*>\([0-9]\+\.[0-9]\+\s*%\)<.*$$/ coverage lines: \1/'
+       cat GnuTLS-$(VERSION)-coverage/index.html|grep headerCovTableEntryLo|head -1|sed 's/^.*>\([0-9]\+\.[0-9]\+\s*%\)<.*$$/ coverage lines: \1/' || true
 
 dist-hook: abi-check
        make -C doc/ compare-makefile