# HG changeset patch
# User wenzelm
# Date 1637095658 -3600
# Node ID 9bf6b5ed9af4cbd3c14347ec6f780230f5c33b2d
# Parent  3dfb8e47a6b715c06b0a7eadc86941a4267b8854
tuned;

diff -r 3dfb8e47a6b7 -r 9bf6b5ed9af4 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Nov 16 21:43:41 2021 +0100
+++ b/src/Pure/Tools/build.scala	Tue Nov 16 21:47:38 2021 +0100
@@ -241,6 +241,17 @@
       else deps0
     }
 
+    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) }
+      yield info).toList
+    }
+
 
     /* check unknown files */
 
@@ -488,14 +499,6 @@
     /* PDF/HTML presentation */
 
     if (!no_build && !progress.stopped && results.ok) {
-      val selected = full_sessions_selection.toSet
-      val presentation_sessions =
-        (for {
-          session_name <- deps.sessions_structure.imports_topological_order.iterator
-          info <- results.get_info(session_name)
-          if selected(session_name) && presentation.enabled(info) }
-        yield info).toList
-
       if (presentation_sessions.nonEmpty) {
         val presentation_dir = presentation.dir(store)
         progress.echo("Presentation in " + presentation_dir.absolute)