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

Re: [PATCH] Add the DEFAULT_HELP_FORMAT option to Makefile

From
Junio C Hamano <gitster@pobox.com>
Date
Jun 6, 2012, 21:07 UTC
Message-ID
<7vk3zkkv48.fsf@alter.siamese.dyndns.org>
In-Reply-To
<4FCFBC9C.6010501@lyx.org>
Vincent van Ravesteijn <vfr@lyx.org> writes:
Show 6 quoted lines
> Op 6-6-2012 21:06, Junio C Hamano schreef:
>> I think the choices of PAGER and EDITOR share the same problem, but
>> shouldn't this choice recorded in GIT-BUILD-OPTIONS in some way?
>
> I don't know. The only place I know where GIT-BUILD-OPTIONS  is used
> is in the test suite. The test suite runs fine with the patches.

Actually what I had in mind was GIT-CFLAGS which makes sure that we rebuild things when compilation options change, but ALL_CFLAGS is covered already so there is no problem.

Thanks for a sanity check.
Previous: Vincent van RavesteijnNext: Vincent van Ravesteijn
Message 6 of 8 in “Add the possibility to specify a default help format”
  1. Add the possibility to specify a default help formatVincent van Ravesteijn, Jun 6, 2012
  2. Jeff KingJun 6, 2012
  3. Add the DEFAULT_HELP_FORMAT option to Makefilevfr@lyx.org, Jun 6, 2012
  4. Junio C HamanoJun 6, 2012
  5. Vincent van RavesteijnJun 6, 2012
  6. Junio C HamanoJun 6, 2012
  7. [PATCHv2] Add the possibility to specify a default help formatVincent van Ravesteijn, Jun 6, 2012
  8. Junio C HamanoJun 6, 2012

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.