# HG changeset patch
# User wenzelm
# Date 1708355040 -3600
# Node ID ba2c43592f3589b390a05404ffb3d259512d457a
# Parent  5979ba12752478697fbfb207ba7d2f26c6643c7c
proper treatment of "isabelle build_process -C" (amending 0cac7e3634d0);

diff -r 5979ba127524 -r ba2c43592f35 src/Pure/Build/build.scala
--- 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),