(off-list ancestor, not in this archive)
Re: [PATCH] Add the DEFAULT_HELP_FORMAT option to Makefile · Junio C Hamano <hidden> · 2016-06-15
Re: [PATCH] Add the DEFAULT_HELP_FORMAT option to Makefile · Vincent van Ravesteijn <hidden> · 2016-06-15

Re: [PATCH] Add the DEFAULT_HELP_FORMAT option to Makefile

From: Vincent van Ravesteijn <hidden>
Date: 2016-06-15 22:54:00

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