diff -r 4940682a2e1a -r 5bc7e080b182 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Tue May 23 11:25:20 2017 +0200
+++ b/src/Pure/Admin/build_history.scala	Tue May 23 11:47:35 2017 +0200
@@ -205,9 +205,9 @@
       val build_args1 = List("-v", "-j" + processes) ::: build_args
       val build_result =
       {
-        val progress1 = new Seq_Progress(progress, new File_Progress(build_out))
-        val other_isabelle1 = new Other_Isabelle(progress1, hg.root, isabelle_identifier)
-        other_isabelle1("build " + Bash.strings(build_args1), redirect = true, echo = verbose)
+        val other_isabelle1 =
+          new Other_Isabelle(new File_Progress(build_out), hg.root, isabelle_identifier)
+        other_isabelle1("build " + Bash.strings(build_args1), redirect = true, echo = true)
       }
       val build_end = Date.now()