Zdenek Kotala <[EMAIL PROTECTED]> writes:
>>> During my work I found some header files, which include useless headers
>>> and on other way there are some headers which silently assume that
>>> requested header will be included by some other headers file.
>>
>> Bruce periodically runs a script that's supposed to catch this type
>> of problem. Maybe we are overdue for another run?
> Yes, but This problem is there for long time and I think Bruce's script does
> not
> catch it.
Exactly what problem do you see that he didn't catch?
regards, tom lane
--
Sent via pgsql-patches mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-patches
