[removed t...@gmplib.org and gmp-b...@gmplib.org from the CC list]
l...@gnu.org (Ludovic Courtès) writes:
> t...@gmplib.org (Torbjörn Granlund) skribis:
>
>> This is most surely a hardware problem. The most common such problem is
>> a bad RAM chip.
>
> OK, I’ll see if I can reproduce it on another ARMv7 machine and
> report back.
>
> However, the machine in question is a build machine and it would be
> surprising for the RAM issue to manifest only for this program.
Do we have a record of which build slave performed the failed build?
Mark
