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

Поиск
Список
Период
Сортировка
От Peter Eisentraut
Тема should Makefile.custom be in source tree or in build tree?
Дата
Msg-id 1323198417.4629.4.camel@vanquo.pezone.net
обсуждение исходный текст
Ответы Re: should Makefile.custom be in source tree or in build tree?
Список 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 по дате отправления: