René Rebe wrote:

> As expected the headers are in the correct location now.

Good.  Have you filed a bug in Bugzilla about this issue?  If not, would
you care to do so?  To do so, please visit gcc.gnu.org, and look for the
link on the left side of the page.

Thanks,

-- 
Mark Mitchell
CodeSourcery
[EMAIL PROTECTED]
(650) 331-3385 x713

Reply via email to