From: Nikos Mavrogiannopoulos <nmav@redhat.com>
Date: Tue, 6 Sep 2016 12:54:30 +0000 (+0200)
Subject: Makefile: local-code-coverage-output always succeeds
X-Git-Tag: gnutls_3_5_4~20
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=2bb0b03e6702efa202a6367fce7f406478c1e5cc;p=thirdparty%2Fgnutls.git

Makefile: local-code-coverage-output always succeeds
---

diff --git a/Makefile.am b/Makefile.am
index c2fb21771b..c236019360 100644
--- 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