K 10 svn:author V 3 ian K 8 svn:date V 27 2014-08-20T00:33:37.439151Z K 7 svn:log V 178 Don't stop other legs of a parallel build due to a failure in make_check. The whole point is to see if there's any failure, which is handled by building a newer version of make. END