Re: should Makefile.custom be in source tree or in build tree?

Поиск
Список
Период
Сортировка
От Alvaro Herrera
Тема Re: should Makefile.custom be in source tree or in build tree?
Дата
Msg-id 1323199147-sup-1273@alvh.no-ip.org
обсуждение исходный текст
Ответ на should Makefile.custom be in source tree or in build tree?  (Peter Eisentraut <peter_e@gmx.net>)
Ответы Re: should Makefile.custom be in source tree or in build tree?  (Tom Lane <tgl@sss.pgh.pa.us>)
Список pgsql-hackers
Excerpts from Peter Eisentraut's message of mar dic 06 16:06:57 -0300 2011:
> 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?

Hmm, interesting question.  When I have used it, I put it in the source
dir without thinking much about it.  In the builddir it'd be painful I
think because it'd be gone when the builddir is zapped to do a full
rebuild (I don't do this often but it does happen from time to time).

Nowadays I don't use it much though, since I learned the PROFILE trick
when calling make, so it's not like I care all that much.

--
Álvaro Herrera <alvherre@commandprompt.com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support


В списке pgsql-hackers по дате отправления:

Предыдущее
От: Peter Eisentraut
Дата:
Сообщение: should Makefile.custom be in source tree or in build tree?
Следующее
От: Tom Lane
Дата:
Сообщение: Re: should Makefile.custom be in source tree or in build tree?