--- a/src/Pure/Build/build_schedule.scala Sat Feb 17 16:56:55 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala Sat Feb 17 17:01:05 2024 +0100
@@ -1286,7 +1286,7 @@
val log_store = Build_Log.store(options, cache = cache)
val build_options = store.options
- def build_schedule(
+ def main(
server: SSH.Server,
database_server: Option[SQL.Database],
log_database: PostgreSQL.Database,
@@ -1337,7 +1337,7 @@
using(log_store.open_database(server = server)) { log_database =>
using(store.open_build_database(
path = isabelle.Host.private_data.database, server = server)) { host_database =>
- build_schedule(server, database_server, log_database, host_database)
+ main(server, database_server, log_database, host_database)
}
}
}