src/Pure/Admin/build_log.scala

       new java.lang.Long((date.time - date.midnight.time).ms / 1000))
 
   def log_subdir(date: Date): Path =
     Path.explode("log") + Path.explode(date.rep.getYear.toString)
 
-  def log_filename(engine: String, date: Date, more: String*): Path =
-    Path.explode((engine :: log_date(date) :: more.toList).mkString("", "_", ".log"))
+  def log_filename(engine: String, date: Date, more: List[String] = Nil): Path =
+    Path.explode((engine :: log_date(date) :: more).mkString("", "_", ".log"))
 
 
   /* log file collections */
 
   def is_log(file: JFile): Boolean =

 
   /** meta info **/
 
   object Field
   {
+    val build_tags = "build_tags"
     val build_group_id = "build_group_id"
     val build_id = "build_id"
     val build_engine = "build_engine"
     val build_host = "build_host"
     val build_start = "build_start"