Synopsis: when trying to build and install the gcc State-Changed-From-To: feedback->closed State-Changed-By: rodrigc State-Changed-When: Tue Jun 12 20:42:04 2001 State-Changed-Why: Feedback not received. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=2909&database=gcc