summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikos Mavrogiannopoulos <nmav@redhat.com>2016-09-06 14:54:30 +0200
committerNikos Mavrogiannopoulos <nmav@redhat.com>2016-09-06 14:54:58 +0200
commit2bb0b03e6702efa202a6367fce7f406478c1e5cc (patch)
treed44c513c4f55e87eb7ec8bd39ffe6c315a200ebc
parent90b06f23348e0390ec8339357306dd842c0dea68 (diff)
downloadgnutls-2bb0b03e6702efa202a6367fce7f406478c1e5cc.tar.gz
Makefile: local-code-coverage-output always succeeds
-rw-r--r--Makefile.am2
1 files changed, 1 insertions, 1 deletions
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