--- a/src/Pure/Tools/build.scala Sun Feb 26 20:52:14 2023 +0100
+++ b/src/Pure/Tools/build.scala Sun Feb 26 21:05:39 2023 +0100
@@ -152,6 +152,7 @@
val build_context =
Build_Process.Context(store, build_deps, progress = progress,
+ hostname = Isabelle_System.hostname(build_options.string("build_hostname")),
build_heap = build_heap, numa_shuffling = numa_shuffling, max_jobs = max_jobs,
fresh_build = fresh_build, no_build = no_build, verbose = verbose,
session_setup = session_setup)
@@ -294,9 +295,10 @@
val start_date = Date.now()
if (verbose) {
+ val hostname = Isabelle_System.hostname(options.string("build_hostname"))
progress.echo(
"Started at " + Build_Log.print_date(start_date) +
- " (" + Isabelle_System.getenv("ML_IDENTIFIER") + " on " + Isabelle_System.hostname() +")")
+ " (" + Isabelle_System.getenv("ML_IDENTIFIER") + " on " + hostname +")")
progress.echo(Build_Log.Settings.show() + "\n")
}