| --- gnutls-3.6.7.orig/Makefile.am 2019-04-16 15:03:52.540380000 -0400 |
| +++ gnutls-3.6.7/Makefile.am 2019-04-16 15:07:31.075108600 -0400 |
| @@ -149,9 +149,6 @@ |
| fi |
| rm -f symbols.last.tmp symbols.diff.tmp |
| |
| -include $(top_srcdir)/aminclude_static.am |
| -clean-local: code-coverage-clean |
| -distclean-local: code-coverage-dist-clean |
| |
| local-code-coverage-output: code-coverage-capture |
| cat GnuTLS-$(VERSION)-coverage/index.html|grep headerCovTableEntry|grep '%'|head -1|sed 's/^.*>\([0-9]\+\.[0-9]\+\s*%\)<.*$$/ coverage lines: \1/' || true |