-isystem vs. #pragma system_header

[Branko]

Zack Weinberg wrote:
> 
> Possibly your -Wno-system-headers should be the default and
> -Wsystem-headers should do what I had in mind.  We've been going that
> way for awhile now.

Yes, I already updated my patch and posted it to gcc-patches, see

	http://gcc.gnu.org/ml/gcc-patches/2000-05/msg01044.html

-- 
Branko Čibej                 <branko.cibej@hermes.si>
HERMES SoftLab, Litijska 51, 1000 Ljubljana, Slovenia
voice: (+386 1) 586 53 49     fax: (+386 1) 586 52 70