etc/options

--- a/etc/options	Wed Jun 21 14:27:51 2023 +0200
+++ b/etc/options	Wed Jun 21 15:20:58 2023 +0200
@@ -195,6 +195,9 @@
 option build_database_test : bool = false
   -- "expose state of build process via central database"
 
+option build_database_slice : real = 50.0
+  -- "slice size in MiB for ML heap stored within database"
+
 
 section "Editor Session"