--- a/src/Pure/Build/build_process.scala Sun Jun 15 22:14:38 2025 +0200
+++ b/src/Pure/Build/build_process.scala Sun Jun 15 22:46:45 2025 +0200
@@ -1161,7 +1161,7 @@
ancestor_results: List[Build_Process.Result]
): Build_Process.State = {
val sources_shasum = state.sessions(session_name).sources_shasum
- val input_shasum = ML_Process.make_shasum(ancestor_results.map(_.output_shasum))
+ val input_shasum = ML_Process.make_shasum(store, ancestor_results.map(_.output_shasum))
val store_heap = build_context.store_heap || state.sessions.store_heap(session_name)
val (current, output_shasum) =
store.check_output(_database_server, session_name,