Makefile: delete all the gcov-related files in reset-gcov

And fix a comment.

See:
https://gcc.gnu.org/onlinedocs/gcc/Gcov-Data-Files.html#Gcov-Data-Files
This commit is contained in:
teor 2019-04-01 13:49:27 +10:00
parent eb0bd18d6e
commit 57e9fe2bba
No known key found for this signature in database
GPG Key ID: 10FEAA0E7075672A
2 changed files with 4 additions and 2 deletions

View File

@ -168,7 +168,7 @@ after_failure:
- if [[ "$DISTCHECK" != "" ]]; then make show-distdir-testlog || echo "make failed"; fi - if [[ "$DISTCHECK" != "" ]]; then make show-distdir-testlog || echo "make failed"; fi
before_cache: before_cache:
# Delete all .gcda files. ## Delete all gcov files.
- if [[ "$COVERAGE_OPTIONS" != "" ]]; then make reset-gcov; fi - if [[ "$COVERAGE_OPTIONS" != "" ]]; then make reset-gcov; fi
notifications: notifications:

View File

@ -149,7 +149,9 @@ test-full: need-stem-path need-chutney-path check test-network test-stem
test-full-online: need-stem-path need-chutney-path check test-network test-stem-full test-full-online: need-stem-path need-chutney-path check test-network test-stem-full
reset-gcov: reset-gcov:
rm -f $(top_builddir)/src/*/*.gcda $(top_builddir)/src/*/*/*.gcda rm -f $(top_builddir)/src/*/*.gcda $(top_builddir)/src/*/*/*.gcda \
$(top_builddir)/src/*/*.gcno $(top_builddir)/src/*/*/*.gcno \
$(top_builddir)/src/*/*.gcov $(top_builddir)/src/*/*/*.gcov
HTML_COVER_DIR=$(top_builddir)/coverage_html HTML_COVER_DIR=$(top_builddir)/coverage_html
coverage-html: all coverage-html: all