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