suggestion: minor change to maint.mk's 'coverage' targets to help develop coverage tests faster

Hello, I'd like to suggest the following minor change to the 'coverage' targets in 'maint.mk'. With it, when improving coverage of the test suite, a developer can bootstrap the coverage build with 'make coverage', then add individual test, then run "make re-coverage" and just re-generate the r

Re: suggestion: minor change to maint.mk's 'coverage' targets to help develop coverage tests faster

On Sat, Jun 4, 2016 at 9:17 PM, Assaf Gordon wrote: > Hello, > > I'd like to suggest the following minor change to the 'coverage' targets in > 'maint.mk'. > > With it, when improving coverage of the test suite, a developer can bootstrap > the coverage build with 'make coverage', then add individ

Re: suggestion: minor change to maint.mk's 'coverage' targets to help develop coverage tests faster

On Sat, Jun 4, 2016 at 11:26 PM, Jim Meyering wrote: > On Sat, Jun 4, 2016 at 9:17 PM, Assaf Gordon wrote: >> Hello, >> >> I'd like to suggest the following minor change to the 'coverage' targets in >> 'maint.mk'. >> >> With it, when improving coverage of the test suite, a developer can >> boot