--- Comment #3 from bradh at frogmouth dot net 2009-05-08 07:58 ---
Looks like the install is now dealing with this.
--
bradh at frogmouth dot net changed:
What|Removed |Added
--- Comment #2 from joseph at codesourcery dot com 2009-05-02 09:34 ---
Subject: Re: New: gcc does not install appropriate plugin
headers
On Sat, 2 May 2009, bradh at frogmouth dot net wrote:
> Writing a plugin requires use of a range of headers (such as gcc-plugin.h)
> which are no
--- Comment #1 from bradh at frogmouth dot net 2009-05-02 07:23 ---
Created an attachment (id=17791)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17791&action=view)
.i of trivial example
Source was only one line:
#include "gcc-plugin.h"
--
http://gcc.gnu.org/bugzilla/show_bu