# HG changeset patch
# User wenzelm
# Date 1716212631 -7200
# Node ID 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1
# Parent  aa92c0f96036d87035612eda63dfba2fb7130732
proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);

diff -r aa92c0f96036 -r 29f2b8ff84f3 src/Pure/Tools/update.scala
--- a/src/Pure/Tools/update.scala	Sun May 19 18:43:45 2024 +0200
+++ b/src/Pure/Tools/update.scala	Mon May 20 15:43:51 2024 +0200
@@ -61,7 +61,7 @@
     val exclude: Set[String] =
       if (base_logics.isEmpty) Set.empty
       else {
-        Sessions.load_structure(options, dirs = dirs, select_dirs = select_dirs)
+        Sessions.load_structure(options, dirs = dirs ::: select_dirs)
           .selection(Sessions.Selection(sessions = base_logics))
           .build_graph.domain
       }