diff -r 2d99f3e24da4 -r 956ecf2c07a0 src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Sun Jun 15 22:14:38 2025 +0200
+++ b/src/Pure/Build/build.scala	Sun Jun 15 22:46:45 2025 +0200
@@ -380,7 +380,7 @@
   Notable system options: see "isabelle options -l -t build"
 
   Notable system settings:
-""" + Library.indent_lines(4, Build_Log.Settings.show()) + "\n",
+""" + Library.indent_lines(4, Build_Log.Settings.show(ML_Settings.system(options))) + "\n",
         "A:" -> (arg => afp_root = Some(if (arg == ":") AFP.BASE else Path.explode(arg))),
         "B:" -> (arg => base_sessions += arg),
         "D:" -> (arg => select_dirs += Path.explode(arg)),
@@ -408,11 +408,13 @@
 
       val progress = new Console_Progress(verbose = verbose)
 
+      val ml_settings = ML_Settings.system(options)
+
       progress.echo(
         "Started at " + Build_Log.print_date(progress.start) +
-          " (" + ML_Settings.system().ml_identifier + " on " + hostname(options) +")",
+          " (" + ml_settings.ml_identifier + " on " + hostname(options) +")",
         verbose = true)
-      progress.echo(Build_Log.Settings.show() + "\n", verbose = true)
+      progress.echo(Build_Log.Settings.show(ml_settings) + "\n", verbose = true)
 
       val results =
         progress.interrupt_handler {