etc/options

--- a/etc/options	Tue Sep 23 12:36:36 2025 +0200
+++ b/etc/options	Tue Sep 23 13:11:52 2025 +0200
@@ -212,6 +212,9 @@
 option build_database_slice : real = 300 for build_sync
   -- "slice size in MiB for ML heap stored within database"
 
+option build_progress : bool = false
+  -- "enabled detailed build progress"
+
 option build_progress_delay : real = 2
   -- "delay for detailed build progress"