On 12/11/2016 10:44, Samuel Thibault wrote:
Oops, sorry, my patch was completely bogus, here is a proper one.
Excellent.I've run the original build process 18 times (each run takes about 25 minutes) without valgrind, and it hasn't crashed once. So this looks good. Thank you!
Regards, Brian.
