# HG changeset patch
# User wenzelm
# Date 1565616152 -7200
# Node ID a829207b32a31dcfcf03f6c2d21a2e30881358eb
# Parent  23168cbe0ef8828e9792b9a78cd5a1fb5b2e264d
output physical_stderr, e.g. for low-level debugging;

diff -r 23168cbe0ef8 -r a829207b32a3 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Mon Aug 12 14:39:55 2019 +0200
+++ b/src/Pure/Tools/build.scala	Mon Aug 12 15:22:32 2019 +0200
@@ -289,6 +289,7 @@
             }
 
           process.result(
+            progress_stderr = Output.writeln(_),
             progress_stdout = (line: String) =>
               Library.try_unprefix("\floading_theory = ", line) match {
                 case Some(theory) =>