diff -r ca8eda3c1808 -r 61fc2afe4c8b src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sun Feb 12 15:33:02 2023 +0100
+++ b/src/Pure/Tools/build.scala	Sun Feb 12 20:53:55 2023 +0100
@@ -155,9 +155,11 @@
         }
         else {
           Isabelle_Thread.uninterruptible {
-            Build_Process.main(build_context, 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)
+            val build_process =
+              new Build_Process(build_context, 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)
+            build_process.run()
           }
         }