git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH v2] Makefile: add a DEVOPTS flag to get pedantic compilation

From
Junio C Hamano <gitster@pobox.com>
Date
Jul 24, 2018, 13:21 UTC
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:
Show 10 quoted lines
> 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.

Previous: Beat BolliNext: Beat Bolli
Message 4 of 8 in “Makefile: add a DEVOPTS flag to get pedantic compilation”
  1. Makefile: add a DEVOPTS flag to get pedantic compilationBeat Bolli, Jul 21, 2018
  2. Junio C HamanoJul 23, 2018
  3. Beat BolliJul 24, 2018
  4. Junio C HamanoJul 24, 2018
  5. Makefile: add a DEVOPTS flag to get pedantic compilationBeat Bolli, Jul 24, 2018
  6. Makefile: add a DEVOPTS flag to get pedantic compilationBeat Bolli, Jul 24, 2018
  7. Junio C HamanoJul 25, 2018
  8. Beat BolliJul 25, 2018

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.