Re: [PATCH] Include Makefile.localdef in Makefile, if it exists.

From

Johannes Schindelin <johannes.schindelin@gmx.de>

Date

Dec 3, 2005, 10:45 UTC

Message-ID

<Pine.LNX.4.63.0512031144030.20595@wbgn013.biozentrum.uni-wuerzburg.de>

In-Reply-To

<3061.1133591717@lotus.CS.Berkeley.EDU>

Hi,

On Fri, 2 Dec 2005, Jason Riedy wrote:

> And Johannes Schindelin writes:
>  - I wonder why you do not just override them in config.mak, which was 
>  - introduced just for that purpose...
> 
> 'Cause I'm a git and didn't notice it, thanks.

Nopraw.

> The prefix stuff probably ought to be moved below the -include 
> config.mak so someone need only change $(prefix) and not the rest.  I 
> might send along such a patch, along with a note about config.mak in 
> INSTALL...