etc/options

   -- "report PIDE markup (in batch build)"
 
 option build_engine : string = ""
   -- "alternative session build engine"
 
+option build_database : bool = false
+  -- "expose state of build process via central database"
+
 
 section "Editor Session"
 
 public option editor_load_delay : real = 0.5
   -- "delay for file load operations (new buffers etc.)"