--- a/src/Pure/Tools/build_process.scala Fri Nov 03 19:00:00 2023 +0100
+++ b/src/Pure/Tools/build_process.scala Fri Nov 03 19:10:21 2023 +0100
@@ -858,7 +858,7 @@
try {
for (db <- store.maybe_open_build_database(server = server)) yield {
if (!db.is_postgresql) {
- error("Distributed build requires PostgreSQL (option database_server)")
+ error("Distributed build requires PostgreSQL (option build_database_server)")
}
val store_tables = db.is_postgresql
Build_Process.private_data.transaction_lock(db,