diff options
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 31288a33a6..dc8f23f0de 100644 --- a/Makefile.am +++ b/Makefile.am @@ -118,7 +118,7 @@ symbol-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/' || true + cat GnuTLS-$(VERSION)-coverage/index.html|grep headerCovTableEntry|grep '%'|head -1|sed 's/^.*>\([0-9]\+\.[0-9]\+\s*%\)<.*$$/ coverage lines: \1/' || true libopts-check: @echo "*****************************************************************" |