# HG changeset patch
# User wenzelm
# Date 1688133893 -7200
# Node ID 1a12e6246212846acd310f7c0284a6abc37f4a38
# Parent  45c7b88d160940562842807118ad3a522fe6840a
clarified signature;

diff -r 45c7b88d1609 -r 1a12e6246212 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Fri Jun 30 14:56:38 2023 +0200
+++ b/src/Pure/Tools/build.scala	Fri Jun 30 16:04:53 2023 +0200
@@ -75,9 +75,13 @@
     def build_process(build_context: Build_Process.Context, build_progress: Progress): Build_Process =
       new Build_Process(build_context, build_progress)
 
-    final def store(options: Options, cache: Term.Cache = Term.Cache.make()): Store = {
+    final def build_store(options: Options, cache: Term.Cache = Term.Cache.make()): Store = {
       val store = Store(build_options(options), cache = cache)
+
+      Isabelle_System.make_directory(store.output_dir + Path.basic("log"))
+
       Isabelle_Fonts.init()
+
       store
     }
 
@@ -119,7 +123,7 @@
   ): Results = {
     val build_engine = Engine(engine_name(options))
 
-    val store = build_engine.store(options, cache = cache)
+    val store = build_engine.build_store(options, cache = cache)
     val build_options = store.options
 
 
@@ -438,7 +442,7 @@
   ): Results = {
     val build_engine = Engine(engine_name(options))
 
-    val store = build_engine.store(options, cache = cache)
+    val store = build_engine.build_store(options, cache = cache)
     val build_options = store.options
 
     val sessions_structure =
diff -r 45c7b88d1609 -r 1a12e6246212 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Fri Jun 30 14:56:38 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Fri Jun 30 16:04:53 2023 +0200
@@ -80,8 +80,6 @@
           }
       }
 
-    Isabelle_System.make_directory(store.output_dir + Path.basic("log"))
-
     using_option(store.maybe_open_build_database()) { db =>
       val shared_db = db.is_postgresql
       Data.transaction_lock(db, create = true) {