src/Pure/Build/store.scala

--- a/src/Pure/Build/store.scala	Wed Feb 21 19:59:35 2024 +0100
+++ b/src/Pure/Build/store.scala	Wed Feb 21 20:21:30 2024 +0100
@@ -34,6 +34,8 @@
     val log_db: Option[Path],
     dirs: List[Path]
   ) {
+    def log_db_name: String = Store.log_db(name).implode
+
     def defined: Boolean = heap.isDefined || log_db.isDefined
 
     def the_heap: Path =