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

Re: [PATCH] Add the DEFAULT_HELP_FORMAT option to Makefile

From
Vincent van Ravesteijn <vfr@lyx.org>
Date
Jun 6, 2012, 20:25 UTC
Message-ID
<4FCFBC9C.6010501@lyx.org>
In-Reply-To
<7vzk8gl0p0.fsf@alter.siamese.dyndns.org>
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.

Vincent
Previous: Junio C HamanoNext: Junio C Hamano
Message 5 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.