On 03/30/2012 10:37 AM, Richard Guenther wrote: > On Fri, Mar 30, 2012 at 9:14 AM, Ludovic Courtès > <ludovic.cour...@inria.fr> wrote: >> Hi, >> >> Gabriel Dos Reis <g...@integrable-solutions.net> skribis: >> >>> I do not think people working on plugins have come up with a >>> specification and an API they agree on. >> >> I think it’s wrong to consider plug-ins as second-class citizens. >> >> The plug-in mechanism is just a technical means to allow people to >> extend the compiler without having to have their code checked in the >> main tree. > > No, that means would be using the old tool named 'patch' before building > GCC.
Or even the new tool named 'git'. Bernd
