# HG changeset patch
# User wenzelm
# Date 1677495562 -3600
# Node ID b9214b89d99475daa7ea2ecebfe813050964daf1
# Parent  cb92bd1c6f8c37c201d460423e72167736b4fe89
proper log_lines, without protocol messages (amending cb3f5361fbca);

diff -r cb92bd1c6f8c -r b9214b89d994 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)
     }
   }