From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 24 Jul 2018 13:21:49 GMT
Subject: Re: [PATCH v2] Makefile: add a DEVOPTS flag to get pedantic compilation
Message-ID: <xmqqa7qg22he.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <7666172f-3113-109c-29cf-f1598195b100@drbeat.li>

Beat Bolli <dev+git@drbeat.li> 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.