diff options
| -rw-r--r-- | src/tools/rustdoc-gui/tester.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/rustdoc-gui/tester.js b/src/tools/rustdoc-gui/tester.js index 3f83aa425df..f0e5aef0ec1 100644 --- a/src/tools/rustdoc-gui/tester.js +++ b/src/tools/rustdoc-gui/tester.js @@ -75,7 +75,7 @@ function print_test_successful() { } function print_test_erroneous() { - process.stdout.write("F"); + process.stderr.write("F"); } async function main(argv) { |