Synopsis: compilation of Linux kernel failed (file drivers/net/8139too.c)
State-Changed-From-To: open->closed
State-Changed-By: rodrigc
State-Changed-When: Sat Oct 20 20:28:38 2001
State-Changed-Why:
Duplicate of PR 4529
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4632&database=gcc