src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Thu Aug 01 09:55:37 2019 +0200
+++ b/src/Pure/Tools/build.scala	Thu Aug 01 10:14:58 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) =>