tuned message;

--- a/src/Pure/Tools/build_process.scala	Sat Sep 02 12:12:32 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Sun Sep 03 12:17:41 2023 +0200
@@ -839,7 +839,7 @@
     try {
       for (db <- store.maybe_open_build_database(server = server)) yield {
         if (!db.is_postgresql) {
-          error("Required PostgreSQL for cluster build (option database_server)")
+          error("Distributed build requires PostgreSQL (option database_server)")
         }
         val store_tables = db.is_postgresql
         Build_Process.private_data.transaction_lock(db,