etc/options

   -- "alternative hostname for build process (default $ISABELLE_HOSTNAME)"
 
 option build_engine : string = ""
   -- "alternative session build engine"
 
-option build_database : bool = false
+option build_database_test : bool = false
   -- "expose state of build process via central database"
 
 
 section "Editor Session"