Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.scala
changeset 66736 148891036469
parent 66717 67dbf5cdc056
child 66737 2edc0c42c883 
--- a/src/Pure/Tools/build.scala	Sat Sep 30 22:55:23 2017 +0200
+++ b/src/Pure/Tools/build.scala	Sun Oct 01 12:28:52 2017 +0200
@@ -372,7 +372,7 @@
     val (selected, selected_sessions) =
       full_sessions.selection(
           Sessions.Selection(requirements, all_sessions, exclude_session_groups,
-            exclude_sessions, session_groups, sessions) + selection)
+            exclude_sessions, session_groups, sessions) ++ selection)
 
     val deps =
       Sessions.deps(selected_sessions, progress = progress, inlined_files = true,
isabelle