etc/options

--- a/etc/options	Sat Feb 25 17:45:10 2023 +0100
+++ b/etc/options	Sun Feb 26 11:55:24 2023 +0100
@@ -180,6 +180,9 @@
 option build_engine : string = ""
   -- "alternative session build engine"
 
+option build_database : bool = false
+  -- "expose state of build process via central database"
+
 
 section "Editor Session"