proper deps from build_graph, not imports_graph (amending 0c704aba71e3);
authorwenzelm
Wed, 01 Mar 2023 15:04:58 +0100
changeset 77447 566e6e393126
parent 77446 1d447e4fc549
child 77448 df22ef5c51ad
proper deps from build_graph, not imports_graph (amending 0c704aba71e3);
src/Pure/Tools/build_process.scala
--- 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
           })