diff -r cb75171d8c9f -r ef6673859c38 src/Pure/Tools/build.scala
--- 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")
       }