Web lists-archives.com

Re: [PATCH 1/1] Makefile: add prove and coverage-prove targets




On Tue, Jan 29, 2019 at 11:37:34AM -0500, Derrick Stolee wrote:

> > I'm afraid that this issue would badly affect 'coverage-prove' as well
> > (I didn't try).  Or if doesn't (anymore?), then that should be
> > mentioned in the commit message, and then perhaps it's time to remove
> > that '-j1' from the 'coverage-test' target as well.
> 
> I'll fix this by forcing an update to GIT_PROVE_OPTS. It does limit our
> ability to use GIT_PROVE_OPTS as a pass-through, but at least this new
> target will have that assumption built in.

I think doing:

  make GIT_PROVE_OPTS="$(GIT_PROVE_OPTS) -j1"

should be sufficient to pass through most of the options but override
-j, since prove does the usual left-to-right "last one wins" behavior
for its options.

-Peff