diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 26d3dbbccb..b4d0db3b51 100644 --- a/Makefile.am +++ b/Makefile.am @@ -149,7 +149,9 @@ symbol-check: fi rm -f symbols.last.tmp symbols.diff.tmp -@CODE_COVERAGE_RULES@ +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 |