Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.scala
changeset 71982 cea6087e8a70
parent 71981 0be06f99b210
child 71992 c8c3f4f0f68b 
--- a/src/Pure/Tools/build.scala	Sat Jun 27 11:25:30 2020 +0200
+++ b/src/Pure/Tools/build.scala	Wed Jul 01 21:14:04 2020 +0200
@@ -847,7 +847,7 @@
 
   Build and manage Isabelle sessions, depending on implicit settings:
 
-""" + Library.prefix_lines("  ", Build_Log.Settings.show()) + "\n",
+""" + Library.prefix_lines("  ",  Build_Log.Settings.show(verbose = true)) + "\n",
       "B:" -> (arg => base_sessions = base_sessions ::: List(arg)),
       "D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
       "N" -> (_ => numa_shuffling = true),
isabelle