# HG changeset patch
# User wenzelm
# Date 1613128295 -3600
# Node ID 9fd449357079df86f0ea7fabb29498988c942abe
# Parent  62b6bc153b8429576138ac36d187b444998068e4
tuned signature;

diff -r 62b6bc153b84 -r 9fd449357079 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"))