http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53186
--- Comment #4 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-03 06:46:01 UTC --- Ciao Paolo, grazie per il patch. Io no so quale sia lo "standard" gcc, ma credo sarebbe meglio distribuire patch che si applicano direttamente dalla directory principale e non da una subdirectory specifica. Il tuo in particolare richiede cd gcc/cp patch -p) < … cd ../../ make v. On 3 May, 2012, at 2:51 AM, paolo.carlini at oracle dot com wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53186 > > --- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> > 2012-05-03 00:51:22 UTC --- > Created attachment 27295 > --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27295 > Draft > > --