# HG changeset patch
# User wenzelm
# Date 1680094929 -7200
# Node ID ca46ff5b4fa1d9e260d555599baec9121f9ea111
# Parent  4855150bc98bbd489a7a2fe67093b0c36cb993bc
tuned;

diff -r 4855150bc98b -r ca46ff5b4fa1 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Wed Mar 29 14:59:55 2023 +0200
+++ b/src/Pure/Admin/build_log.scala	Wed Mar 29 15:02:09 2023 +0200
@@ -1021,9 +1021,11 @@
             }
           })
 
-      for (file_group <-
-            files.filter(file => status.exists(_.required(file))).
-              grouped(options.int("build_log_transaction_size") max 1)) {
+      val file_groups =
+        files.filter(file => status.exists(_.required(file))).
+          grouped(options.int("build_log_transaction_size") max 1)
+
+      for (file_group <- file_groups) {
         val log_files = Par_List.map[JFile, Log_File](Log_File.apply, file_group)
         db.transaction { log_files.foreach(log_file => status.foreach(_.update(log_file))) }
       }