etc/options

--- a/etc/options	Mon Jul 01 15:25:27 2024 +0200
+++ b/etc/options	Mon Jul 01 18:22:33 2024 +0200
@@ -231,6 +231,9 @@
 option build_schedule_outdated_delay : real = 300.0
   -- "delay schedule generation loop"
 
+option build_schedule_inactive_delay : real = 300.0
+  -- "delay removing inactive hosts"
+
 
 section "Build Manager"