Dear Peter,
> > Description:server includes not installed by default
>
> make install-all-headers
Good, but not enough?
I still argue that it should be done "by default", so that "extensions"
can be sure to find it. You cannot ask for the installer to reinstall if
s?he forgot it...
--
Dear Peter,
> > > make install-all-headers
> > I still argue that it should be done "by default"
> I agree, but this is not a bug, it is a deliberate design decision.
Well, isn't feature just another name for bugs? ;-)
> If you want to change it, argue about it on -hackers.
Ok. Thanks.
--
Fa
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.
-
PostgreSQL Bugs List wrote:
> Description:server includes not installed by default
make install-all-headers
---(end of broadcast)---
TIP 3: if posting/reading through Usenet, please send an appropriate
subscribe-nomail command to [EMA
The following bug has been logged online:
Bug reference: 1149
Logged by: Fabien COELHO
Email address: [EMAIL PROTECTED]
PostgreSQL version: 7.5 Dev
Operating system: Linux Debian
Description:server includes not installed by default
Details:
It seems that server
