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

Reply via email to