On Thu, Jun 20, 2013 at 04:09:07PM +0000, David Holland wrote: > I wonder if there's a problem with make and stopping parallel jobs on > error.
Don't think so - it is just a combination of the deep parallelization and the truncated tail of the log files published (resp. bracket not finding the relevant message automatically). The full log had all information needed. Martin