Hi Markus and Santiago, Sorry, but it's turned out that my patch either doesn't completely avoid the bug, or doesn't avoid another bug which gives the same error message. The build has failed on arm64.
On Sun, Feb 19, 2017 at 09:05:07PM +0100, Santiago Vila wrote: > Even if I had not the technical skills to find a fix for this bug, I > explained clearly how to reproduce it, and I even offered a machine > for you to reproduce it. There's a difference between being able to reproduce a bug, and being able to debug it. Giving an entire VM setup and saying that that is enough to reproduce it doesn't start to cut it down to the minimal test case in which a developer could debug it. It was only Jonathan Dowland's response to debian-devel, saying that the main difference in your buildd was the single CPU, that made me realise there was a simple way to reproduce it in a debugging environment. Or not, as the arm64 failure shows. BR, Steve
