--- a/src/Pure/Build/build_schedule.scala Tue Apr 16 16:38:54 2024 +0200
+++ b/src/Pure/Build/build_schedule.scala Tue Apr 16 16:54:15 2024 +0200
@@ -1120,9 +1120,7 @@
case Some(ancestor_results) if ancestor_results.forall(_.current) =>
val sources_shasum = state.sessions(session_name).sources_shasum
- val input_shasum =
- if (ancestor_results.isEmpty) ML_Process.bootstrap_shasum()
- else SHA1.flat_shasum(ancestor_results.map(_.output_shasum))
+ val input_shasum = ML_Process.make_shasum(ancestor_results.map(_.output_shasum))
val store_heap = build_context.store_heap || state.sessions.store_heap(session_name)