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/Build/build.scala
changeset 79679 ba2c43592f35
parent 79676 0cac7e3634d0
child 79682 1fa1b32b0379 
--- a/src/Pure/Build/build.scala	Mon Feb 19 11:47:51 2024 +0100
+++ b/src/Pure/Build/build.scala	Mon Feb 19 16:04:00 2024 +0100
@@ -567,6 +567,7 @@
     -r           remove data from build processes: inactive processes (default)
                  or all processes (option -f)
 """,
+        "C" -> (_ => build_cluster = true),
         "f" -> (_ => force = true),
         "l" -> (_ => list_builds = true),
         "o:" -> (arg => options = options + arg),
isabelle