src/Pure/Tools/build_process.scala

       case "-" => Logger.make(progress)
       case log_file => Logger.make(Some(Path.explode(log_file)))
     }
 
   protected val database: Option[SQL.Database] =
-    if (!build_options.bool("build_database") || true /*FIXME*/) None
+    if (!build_options.bool("build_database_test")) None
     else if (store.database_server) Some(store.open_database_server())
     else {
       val db = SQLite.open_database(Build_Process.Data.database)
       try { Isabelle_System.chmod("600", Build_Process.Data.database) }
       catch { case exn: Throwable => db.close(); throw exn }