etc/options

--- a/etc/options	Fri Mar 08 18:58:49 2024 +0100
+++ b/etc/options	Fri Mar 08 19:04:18 2024 +0100
@@ -424,6 +424,9 @@
 option build_log_history : int = 30
   -- "length of relevant history (in days)"
 
+option build_log_verbose : bool = false for build_sync
+  -- "extra verbosity for build log database"
+
 
 section "Isabelle/Scala/ML system channel"