# HG changeset patch
# User wenzelm
# Date 1476023221 -7200
# Node ID f2c8f6b11dcf74c7d48efb60555ffe48f3851907
# Parent  6c50390163218aea59fe04eac0ee728a7ed27707
enforce detailed build log;

diff -r 6c5039016321 -r f2c8f6b11dcf src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Sun Oct 09 16:24:54 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Sun Oct 09 16:27:01 2016 +0200
@@ -253,7 +253,8 @@
         other_isabelle.copy_dir(isabelle_base_log, isabelle_output_log)
 
       val build_start = Date.now()
-      val res = other_isabelle("build " + File.bash_args(build_args), redirect = true, echo = verbose)
+      val res =
+        other_isabelle("build -v " + File.bash_args(build_args), redirect = true, echo = verbose)
       val build_end = Date.now()