# HG changeset patch
# User wenzelm
# Date 1584717718 -3600
# Node ID f55222fbeae35cc703d770344df4ea0b5cb7eb86
# Parent  f36886cc32fa5a04e1ed1a427903bd982d10adf7
avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);

diff -r f36886cc32fa -r f55222fbeae3 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Fri Mar 20 11:35:33 2020 +0100
+++ b/src/Pure/Tools/build.scala	Fri Mar 20 16:21:58 2020 +0100
@@ -294,7 +294,6 @@
             }
 
           process.result(
-            progress_stderr = Output.writeln(_),
             progress_stdout = (line: String) =>
               Library.try_unprefix("\floading_theory = ", line) match {
                 case Some(theory) =>