diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-10 16:26:14 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-04-12 11:31:15 +0200 |
commit | f891b224228f7c4939d09ac1849ad562d1298640 (patch) | |
tree | 1727ad2648f243fa2962b065714313aefd162aea /compiler/test/dotty/tools/vulpix/SummaryReport.java | |
parent | d42a28d07683d95e6dffd27cdb9078ebeb599c15 (diff) | |
download | dotty-f891b224228f7c4939d09ac1849ad562d1298640.tar.gz dotty-f891b224228f7c4939d09ac1849ad562d1298640.tar.bz2 dotty-f891b224228f7c4939d09ac1849ad562d1298640.zip |
Make sure that everything is dumped to log files
Diffstat (limited to 'compiler/test/dotty/tools/vulpix/SummaryReport.java')
-rw-r--r-- | compiler/test/dotty/tools/vulpix/SummaryReport.java | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/compiler/test/dotty/tools/vulpix/SummaryReport.java b/compiler/test/dotty/tools/vulpix/SummaryReport.java index 23209eefc..b7aa423ff 100644 --- a/compiler/test/dotty/tools/vulpix/SummaryReport.java +++ b/compiler/test/dotty/tools/vulpix/SummaryReport.java @@ -2,6 +2,7 @@ package dotty.tools.vulpix; import org.junit.BeforeClass; import org.junit.AfterClass; +import java.util.Iterator; import java.util.ArrayDeque; import java.util.function.Supplier; import scala.Function0; @@ -75,7 +76,7 @@ public class SummaryReport { } @AfterClass public final static void teardown() { - rep.echo( + rep.log( "\n================================================================================" + "\nTest Report" + "\n================================================================================" + @@ -86,26 +87,26 @@ public class SummaryReport { startingMessages .stream() - .forEach(rep::echo); + .forEach(rep::log); failedTests .stream() .map(x -> " " + x) - .forEach(rep::echo); + .forEach(rep::log); // If we're compiling locally, we don't need reproduce instructions if (isInteractive) rep.flushToStdErr(); - rep.echo(""); + rep.log(""); reproduceInstructions .stream() - .forEach(rep::echo); + .forEach(rep::log); // If we're on the CI, we want everything if (!isInteractive) rep.flushToStdErr(); - if (failed > 0) rep.flushToFile(); + rep.flushToFile(); // Perform cleanup callback: if (cleanup != null) cleanup.get(); |