Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper usage;
authorwenzelm
Thu, 22 Feb 2024 14:17:40 +0100
changeset 79700 aeb53334f521
parent 79699 b88d73810b50
child 79701 e8122e84aa58
proper usage;
src/Pure/Build/build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Build/build.scala	Thu Feb 22 14:08:31 2024 +0100
+++ b/src/Pure/Build/build.scala	Thu Feb 22 14:17:40 2024 +0100
@@ -564,6 +564,8 @@
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     -r           remove data from build processes: inactive processes (default)
                  or all processes (option -f)
+
+  Manage Isabelle build process, notably distributed build cluster (option -C).
 """,
         "C" -> (_ => build_cluster = true),
         "f" -> (_ => force = true),
isabelle