Module Name: src Committed By: rillig Date: Wed Aug 19 06:30:37 UTC 2020
Modified Files:
src/usr.bin/make: Makefile
Log Message:
make(1): don't optimize when measuring the code coverage
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96622
To generate a diff of this commit:
cvs rdiff -u -r1.89 -r1.90 src/usr.bin/make/Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
