Synopsis: #include __FILE__ broken
Responsible-Changed-From-To: unassigned->neil
Responsible-Changed-By: neil
Responsible-Changed-When: Tue Jun 19 08:09:24 2001
Responsible-Changed-Why:
Patch in progress.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3260&database=gcc