From 2bb0b03e6702efa202a6367fce7f406478c1e5cc Mon Sep 17 00:00:00 2001 From: Nikos Mavrogiannopoulos Date: Tue, 6 Sep 2016 14:54:30 +0200 Subject: Makefile: local-code-coverage-output always succeeds --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.1