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.