[Bug other/40004] gcc does not install appropriate plugin headers

[bradh at frogmouth dot net]

------- 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_bug.cgi?id=40004