On 24.09.2012 13:27, Basile Starynkevitch wrote: > Hello All, > > See http://gcc.gnu.org/ml/gcc/2012-09/msg00232.html for details about my > suggestion. > > The message > The bug is not reproducible, so it is likely a hardware or OS problem > is apparently Debian specific http://gcc.gnu.org/ml/gcc/2012-09/msg00234.html
this is a patch applied to Debian, Ubuntu, and afaik to Fedora (orginating from Jakub). > But it is very confusing, since plugin failures also trigger it. > > I suggest to replace it with > > The bug is not reproducible, so it could be a plugin, hardware or OS > problem Why should it be a plugin problem if it's not reproducible? Matthias -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/506048c9.9000...@debian.org
