| changeset 83303 | 416c05062d41 |
| parent 83223 | a225609e3344 |
| child 83316 | 6829b3579a54 |
--- a/etc/options Fri Oct 17 16:36:19 2025 +0200 +++ b/etc/options Fri Oct 17 16:54:47 2025 +0200 @@ -212,7 +212,7 @@ option build_database_slice : real = 300 for build_sync -- "slice size in MiB for ML heap stored within database" -option build_progress : bool = false +option build_progress_detailed : bool = false -- "enabled detailed build progress" option build_progress_delay : real = 2