+DISTCHECK_CONFIGURE_FLAGS:=httpdir=$(distdir)/_inst/httpdir cgiexecdir=$(shell pwd)/$(distdir)/_inst/cgiexecdir
+
+check-report: before-check check make-coverage-reports
+before-check:
+ rm -f */*.gcda */*.gcov
+make-coverage-reports: check
+ @for subdir in lib plugins server clients disobedience; do \
+ echo cd $$subdir;\
+ cd $$subdir;\
+ echo ${GCOV} *.c | ${PYTHON} ../scripts/format-gcov-report --html . *.c ;\
+ ${GCOV} *.c | ${PYTHON} ../scripts/format-gcov-report --html . *.c ;\
+ echo cd ..;\
+ cd ..;\
+ done
+
+clean-gcov:
+ rm -f */index.html
+ rm -f */*.c.html
+ rm -f */*.gcov