diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index d1ea8e1a..e397e2ad 100644 --- a/Makefile.am +++ b/Makefile.am @@ -26,3 +26,14 @@ TESTS = $(wildcard $(p)ok/*.stp) $(wildcard $(p)ko/*.stp) \ XFAIL_TESTS = $(wildcard $(p)ko/*.stp) $(wildcard $(s)ko/*.stp) TESTS_ENVIRONMENT = $(srcdir)/runtest.sh + +gcov: + @$(MAKE) clean CXXFLAGS="-g -fprofile-arcs -ftest-coverage" all check + @gcov *.gcno >/dev/null 2>&1 + @rm -f *.gcno *.gcda + @rm -f `ls -1 *.gcov | fgrep -v .cxx.gcov` + ls -l *.cxx.gcov + +clean-local: + rm -f *.gcov *.gcno *.gcda + |