src/Pure/Tools/build_process.scala

--- a/src/Pure/Tools/build_process.scala	Mon Feb 27 11:43:05 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Mon Feb 27 11:59:22 2023 +0100
@@ -603,7 +603,8 @@
       _state = _state.
         remove_pending(session_name).
         remove_running(session_name).
-        make_result(session_name, false, output_heap, process_result, node_info = job.node_info)
+        make_result(session_name, false, output_heap, process_result.copy(out_lines = log_lines),
+          node_info = job.node_info)
     }
   }