--- a/src/Pure/Thy/store.scala Wed Jun 28 12:16:02 2023 +0200
+++ b/src/Pure/Thy/store.scala Wed Jun 28 12:20:09 2023 +0200
@@ -274,8 +274,9 @@
if (build_database_server) open_database_server()
else SQLite.open_database(path, restrict = true)
- def maybe_open_build_database(path: Path): Option[SQL.Database] =
- if (build_database_test) Some(open_build_database(path)) else None
+ def maybe_open_build_database(
+ path: Path = Path.explode("$ISABELLE_HOME_USER/build.db")
+ ): Option[SQL.Database] = if (build_database_test) Some(open_build_database(path)) else None
def try_open_database(
name: String,