--- a/src/Pure/Tools/build_process.scala Wed Mar 01 15:01:34 2023 +0100
+++ b/src/Pure/Tools/build_process.scala Wed Mar 01 15:04:58 2023 +0100
@@ -38,10 +38,11 @@
for (name <- build_graph.keys_iterator)
yield {
val info = sessions_structure(name)
- val ancestors = sessions_structure.build_requirements(info.parent.toList)
+ val deps = info.parent.toList
+ val ancestors = sessions_structure.build_requirements(deps)
val session_context =
Build_Job.Session_Context.load(
- name, info.deps, ancestors, info.timeout, store, progress = progress)
+ name, deps, ancestors, info.timeout, store, progress = progress)
name -> session_context
})