From 7f2b52b1d6b7d8bc1accf5dbb99d5281dc69ae07 Mon Sep 17 00:00:00 2001 From: Stefan Schindler Date: Sat, 14 Aug 2021 23:36:17 +0200 Subject: More spacing between the different blocks of results --- src/tools/rustdoc-gui/tester.js | 27 +++++++++++++++++---------- 1 file changed, 17 insertions(+), 10 deletions(-) (limited to 'src/tools/rustdoc-gui') diff --git a/src/tools/rustdoc-gui/tester.js b/src/tools/rustdoc-gui/tester.js index fcecd00bd53..4e77d27d399 100644 --- a/src/tools/rustdoc-gui/tester.js +++ b/src/tools/rustdoc-gui/tester.js @@ -197,21 +197,28 @@ async function main(argv) { } status_bar.finish(); - if (debug === false) { + if (debug) { results.successful.sort(by_filename); results.successful.forEach(r => { console.log(r.output); }); } - results.failed.sort(by_filename); - results.failed.forEach(r => { - console.log(r.output); - }); - // print run errors on the bottom so developers see them better - results.errored.sort(by_filename); - results.errored.forEach(r => { - console.error(r.output); - }); + + if (results.failed.length > 0) { + console.log(""); + results.failed.sort(by_filename); + results.failed.forEach(r => { + console.log(r.output); + }); + } + if (results.errored.length > 0) { + console.log(os.EOL); + // print run errors on the bottom so developers see them better + results.errored.sort(by_filename); + results.errored.forEach(r => { + console.error(r.output); + }); + } if (failed) { process.exit(1); -- cgit 1.4.1-3-g733a5