Martin Jeřábek ccd67b293d Add support for multiple parallel reporters ... This requires a bunch of different changes across the reporter subsystem. * We need to handle multiple reporters and their differing preferences in `ListeningReporter`, e.g. what to do when we mix reporters that capture and don't capture stdout. * We need to change how the reporter is given output and how we parse reporter's output destination from CLI. * Approval tests need to handle multireporter option		2022-01-01 14:02:23 +01:00
..
misc	Disable JIT debug for ctest.ext	2021-12-16 12:17:52 +01:00
scripts	Add support for multiple parallel reporters	2022-01-01 14:02:23 +01:00