tuned signature;
authorwenzelm
Fri, 12 Feb 2021 12:11:35 +0100
changeset 73488 9fd449357079
parent 73487 62b6bc153b84
child 73489 7f55a3e28c88
tuned signature;
src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Thu Feb 11 14:55:57 2021 +0100
+++ b/src/Pure/Admin/build_history.scala	Fri Feb 12 12:11:35 2021 +0100
@@ -192,7 +192,7 @@
           components_base = components_base,
           catalogs = List("main", "optional"))
       other_isabelle.init_settings(component_settings ::: init_settings)
-      other_isabelle.resolve_components(verbose)
+      other_isabelle.resolve_components(echo = verbose)
       val ml_platform =
         augment_settings(other_isabelle, threads, arch_64, heap, max_heap, more_settings)
 
@@ -205,7 +205,7 @@
       val isabelle_base_log = isabelle_output + Path.explode("../base_log")
 
       if (first_build) {
-        other_isabelle.resolve_components(verbose)
+        other_isabelle.resolve_components(echo = verbose)
 
         if (fresh)
           Isabelle_System.rm_tree(other_isabelle.isabelle_home + Path.explode("lib/classes"))