Synopsis: Error in Makefile (make -k check)
State-Changed-From-To: open->closed
State-Changed-By: ljrittle
State-Changed-When: Mon Jun 11 20:18:32 2001
State-Changed-Why:
The author of the report asked for it to be closed.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=2118&database=gcc