IainS <develo...@sandoe-acoustics.co.uk> writes: > Am I trying something that is unsupported - or is this is a bug? > > === > > "make -k -j8 check " is not particularly helpful (a) because it tests > gmp/mpfr/mpc every time (b) any redirected output is hard to scan for > problems.
What you're trying is far too complicated: just use -k -j<N> check from the toplevel and forget about the make check output, which, as you say, is interleaved and useless, just like the make -j<N> bootstrap output. Instead, run make mail-report.log afterwards and check that. Rainer -- ----------------------------------------------------------------------------- Rainer Orth, Center for Biotechnology, Bielefeld University