Module Name: src Committed By: rillig Date: Mon Aug 10 18:20:28 UTC 2020
Modified Files:
src/usr.bin/make: Makefile
Log Message:
make(1): clean up coverage files even if USE_COVERAGE is not set
To generate a diff of this commit:
cvs rdiff -u -r1.84 -r1.85 src/usr.bin/make/Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
