# HG changeset patch
# User wenzelm
# Date 1637146654 -3600
# Node ID 23dc565cd4b2d938d2789ef360fc60697a345c06
# Parent  d1d3d4439ac22b1b6feda9847ebe79e7b3f6c18e
tuned;

diff -r d1d3d4439ac2 -r 23dc565cd4b2 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Nov 16 22:38:34 2021 +0100
+++ b/src/Pure/Tools/build.scala	Wed Nov 17 11:57:34 2021 +0100
@@ -205,6 +205,7 @@
       Sessions.load_structure(build_options, dirs = dirs, select_dirs = select_dirs, infos = infos)
 
     val full_sessions_selection = full_sessions.imports_selection(selection)
+    val full_sessions_selected = full_sessions_selection.toSet
 
     def sources_stamp(deps: Sessions.Deps, session_name: String): String =
     {
@@ -242,15 +243,11 @@
     }
 
     val presentation_sessions =
-    {
-      val sessions = deps.sessions_structure
-      val selected = full_sessions_selection.toSet
       (for {
-        session_name <- sessions.imports_topological_order.iterator
-        info <- sessions.get(session_name)
-        if selected(session_name) && presentation.enabled(info) }
+        session_name <- deps.sessions_structure.imports_topological_order.iterator
+        info <- deps.sessions_structure.get(session_name)
+        if full_sessions_selected(session_name) && presentation.enabled(info) }
       yield info).toList
-    }
 
 
     /* check unknown files */