should Makefile.custom be in source tree or in build tree? - Mailing list pgsql-hackers

From Peter Eisentraut
Subject should Makefile.custom be in source tree or in build tree?
Date
Msg-id 1323198417.4629.4.camel@vanquo.pezone.net
Whole thread Raw
Responses Re: should Makefile.custom be in source tree or in build tree?  (Alvaro Herrera <alvherre@commandprompt.com>)
List pgsql-hackers
Makefile.custom is currently looked for in the source directory.  This
tripped me up recently when doing a vpath build.  Should it be looked
for in the build tree instead?  Or both?




pgsql-hackers by date:

Previous
From: Jan Urbański
Date:
Subject: Re: [COMMITTERS] pgsql: plpython: Add SPI cursor support
Next
From: Alvaro Herrera
Date:
Subject: Re: should Makefile.custom be in source tree or in build tree?