Re: bootstrap/8180: --without-headers configure option not working
"peter garrone" <[email protected]>
| Newsgroups | gmane.comp.gcc.bugs,gmane.comp.gcc.prs |
|---|---|
| Message-ID | <[email protected]> |
I have replied to Dara. ----- Original Message ----- From: [email protected] Date: 14 May 2003 10:51:16 -0000 To: [email protected], [email protected], [email protected], [email protected] Subject: Re: bootstrap/8180: --without-headers configure option not working Synopsis: --without-headers configure option not working State-Changed-From-To: open->feedback State-Changed-By: bajo State-Changed-When: Wed May 14 10:51:16 2003 State-Changed-Why: See Dara's question. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8180 -- ______________________________________________ http://www.linuxmail.org/ Now with e-mail forwarding for only US$5.95/yr Powered by Outblaze