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/server_commands.scala
changeset 71981 0be06f99b210
parent 71896 ce06d6456cc8
child 72163 f5722290a4d0 
--- a/src/Pure/Tools/server_commands.scala	Fri Jun 26 17:34:34 2020 +0200
+++ b/src/Pure/Tools/server_commands.scala	Sat Jun 27 11:25:30 2020 +0200
@@ -57,7 +57,8 @@
       val base = base_info.check_base
 
       val results =
-        Build.build(options, Sessions.Selection.session(args.session),
+        Build.build(options,
+          selection = Sessions.Selection.session(args.session),
           progress = progress,
           build_heap = true,
           dirs = dirs,
isabelle