Beat Bolli <dev+git@xxxxxxxxx> writes: > On 23.07.18 20:53, Junio C Hamano wrote: >> >>> This is the convenience knob for all developers that led to the series >>> bb/pedantic[1]. It does not depend on this series, though. >> >> Yup, but "make DEVELOPER=Yes" build won't pass unless this patch is >> queued after those clean-up ;-) > > Then there's a bug in this patch. It should only have an effect if we > "make DEVELOPER=Yes DEVOPTS=pedantic". Did you try this? Sorry, "exercising the feature" is what I meant to say with that "make" invocation, so I should have also spelled DEVOPTS bit, too.
