src/Pure/Build/build.scala

--- a/src/Pure/Build/build.scala	Fri Mar 08 18:58:49 2024 +0100
+++ b/src/Pure/Build/build.scala	Fri Mar 08 19:04:18 2024 +0100
@@ -119,7 +119,7 @@
 
     def build_options(options: Options, build_cluster: Boolean = false): Options = {
       val options1 = options + "completion_limit=0" + "editor_tracing_messages=0"
-      if (build_cluster) options1 + "build_database" else options1
+      if (build_cluster) options1 + "build_database" + "build_log_verbose" else options1
     }
 
     final def build_store(options: Options,