[debian-mysql] mysql-5.5 build failure in raspbian, possiblly parallel building related

[peter green]

I maintain a Debian derivative called raspbian for the raspberry pi and 
in principle other armv6 systems (though in practice I think we have few 
if any users of other systems). We perform our builds in raspbian 
chroots on armv7 hardware.

mysql-5.5 version 5.5.40-1 failed to build on our autobuilders, the 
build was tried twice so it doesn't seem to be a fluke. 
http://buildd.raspbian.org/status/logs.php?pkg=mysql-5.5&arch=armhf 
Unfortunately I can't seem to find a cause from reading the build log.

Anyone have any thoughts on this, my current best guess is some kind of 
race condition related to parallel building  (especially as parallel 
building was only just introduced to mysql-5.5) and I will be trying a 
manual build with paralell building disabled soon.