src/Pure/Tools/build.scala
changeset 66736 148891036469
parent 66717 67dbf5cdc056
child 66737 2edc0c42c883
     1.1 --- a/src/Pure/Tools/build.scala	Sat Sep 30 22:55:23 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sun Oct 01 12:28:52 2017 +0200
     1.3 @@ -372,7 +372,7 @@
     1.4      val (selected, selected_sessions) =
     1.5        full_sessions.selection(
     1.6            Sessions.Selection(requirements, all_sessions, exclude_session_groups,
     1.7 -            exclude_sessions, session_groups, sessions) + selection)
     1.8 +            exclude_sessions, session_groups, sessions) ++ selection)
     1.9  
    1.10      val deps =
    1.11        Sessions.deps(selected_sessions, progress = progress, inlined_files = true,