# HG changeset patch
# User wenzelm
# Date 1687511684 -7200
# Node ID 93266b0340f8552f322ee306c253ae1eb709fb00
# Parent  da721ba809a4e1f8cc3f97e1f36d7a3d6c57b3ca
tuned;

diff -r da721ba809a4 -r 93266b0340f8 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Thu Jun 22 14:51:37 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Fri Jun 23 11:14:44 2023 +0200
@@ -901,22 +901,24 @@
         fresh_build = build_context.fresh_build,
         store_heap = store_heap)
 
-    val all_current = current && ancestor_results.forall(_.current)
+    val finished = current && ancestor_results.forall(_.current)
+    val skipped = build_context.no_build
+    val cancelled = progress.stopped || !ancestor_results.forall(_.ok)
 
     val result_name = (session_name, worker_uuid, build_uuid)
 
-    if (all_current) {
+    if (finished) {
       state
         .remove_pending(session_name)
         .make_result(result_name, Process_Result.ok, output_shasum, current = true)
     }
-    else if (build_context.no_build) {
+    else if (skipped) {
       progress.echo("Skipping " + session_name + " ...", verbose = true)
       state.
         remove_pending(session_name).
         make_result(result_name, Process_Result.error, output_shasum)
     }
-    else if (progress.stopped || !ancestor_results.forall(_.ok)) {
+    else if (cancelled) {
       progress.echo(session_name + " CANCELLED")
       state
         .remove_pending(session_name)