c/4380: error compiling linux kernel source

[rodrigc@gcc.gnu.org]

Synopsis: error compiling linux kernel source

State-Changed-From-To: open->closed
State-Changed-By: rodrigc
State-Changed-When: Sat Oct 20 22:19:17 2001
State-Changed-Why:
    
    Duplicate of PR 4059
    
    http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4059&database=gcc

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4380&database=gcc