tuned;

--- a/src/Pure/Build/build.scala	Thu Feb 22 17:24:43 2024 +0100
+++ b/src/Pure/Build/build.scala	Thu Feb 22 19:58:52 2024 +0100
@@ -111,6 +111,8 @@
   }
 
   class Engine(val name: String) extends Isabelle_System.Service {
+    engine =>
+
     override def toString: String = name
 
     def build_options(options: Options, build_cluster: Boolean = false): Options = {
@@ -122,8 +124,8 @@
       build_cluster: Boolean = false,
       cache: Term.Cache = Term.Cache.make()
     ): Store = {
-      val store_options = build_options(options, build_cluster = build_cluster)
-      val store = Store(store_options, build_cluster = build_cluster, cache = cache)
+      val build_options = engine.build_options(options, build_cluster = build_cluster)
+      val store = Store(build_options, build_cluster = build_cluster, cache = cache)
       Isabelle_System.make_directory(store.output_dir + Path.basic("log"))
       Isabelle_Fonts.init()
       store