Synopsis: Undocumented options, part 1 Responsible-Changed-From-To: aoliva->unassigned Responsible-Changed-By: aoliva Responsible-Changed-When: Sun Jun 10 18:23:18 2001 Responsible-Changed-Why: That's all for now. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=761&database=gcc