<div dir="ltr">I haven't been able to reproduce the failure yet. :(<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 27 October 2016 at 13:39, Ben Gamari <span dir="ltr"><<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Simon Marlow <<a href="mailto:marlowsd@gmail.com">marlowsd@gmail.com</a>> writes:<br>
<br>
> How many cores does the builder machine have?  (this should make it easier<br>
> for me to repro)<br>
><br>
</span>It looks like 8.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
</blockquote></div><br></div>