etc/options

--- a/etc/options	Fri Jun 07 15:04:07 2024 +0200
+++ b/etc/options	Fri Jun 07 15:47:19 2024 +0200
@@ -243,6 +243,8 @@
 option build_manager_identifier : string = "build_manager"
   -- "isabelle identifier for build manager processes"
 
+option build_manager_cluster : string = "cluster.default"
+
 option build_manager_delay : real = 1.0
   -- "delay build manager loop"