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 treatment of "isabelle build_process -C" (amending 0cac7e3634d0);
authorwenzelm
Mon, 19 Feb 2024 16:04:00 +0100
changeset 79679 ba2c43592f35
parent 79678 5979ba127524
child 79680 0b58e85906a1
proper treatment of "isabelle build_process -C" (amending 0cac7e3634d0);
src/Pure/Build/build.scala file | annotate | diff | comparison | revisions 
--- 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