From: Vincent van Ravesteijn <vfr@lyx.org>
Date: Wed, 06 Jun 2012 20:25:00 GMT
Subject: Re: [PATCH] Add the DEFAULT_HELP_FORMAT option to Makefile
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