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 (pgsql-patches@postgresql.org)
To make changes to your subscription:

Reply via email to