changeset 80182 | 29f2b8ff84f3 |
parent 80119 | 47f671888a37 |
--- 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 }