Re: BUG #1149: server includes not installed by default

Поиск
Список
Период
Сортировка
От Peter Eisentraut
Тема Re: BUG #1149: server includes not installed by default
Дата
Msg-id 200405121658.04078.peter_e@gmx.net
обсуждение исходный текст
Ответ на BUG #1149: server includes not installed by default  ("PostgreSQL Bugs List" <pgsql-bugs@postgresql.org>)
Ответы Re: BUG #1149: server includes not installed by default
Список pgsql-bugs
Дерево обсуждения 
Am Mittwoch, 12. Mai 2004 15:41 schrieb Fabien COELHO:
> > make install-all-headers
>
> Good, but not enough?
>
> I still argue that it should be done "by default"

I agree, but this is not a bug, it is a deliberate design decision.  If you
want to change it, argue about it on -hackers.

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