src/Pure/Admin/build_log.scala
changeset 64300 3073688abbe9
parent 64299 4f11063c6e55
child 64303 605351c7ef97
     1.1 --- a/src/Pure/Admin/build_log.scala	Tue Oct 18 13:56:49 2016 +0200
     1.2 +++ b/src/Pure/Admin/build_log.scala	Tue Oct 18 14:32:51 2016 +0200
     1.3 @@ -24,11 +24,12 @@
     1.4  
     1.5    object Prop
     1.6    {
     1.7 -    def lines(name: String, lines: List[String]): Properties.T =
     1.8 -      if (lines.isEmpty) Nil else List(name -> cat_lines(lines))
     1.9 +    def multiple(name: String, args: List[String]): Properties.T =
    1.10 +      if (args.isEmpty) Nil
    1.11 +      else List(name -> YXML.string_of_body(XML.Encode.list(XML.Encode.string)(args)))
    1.12  
    1.13 -    val build_tags = "build_tags"  // lines
    1.14 -    val build_args = "build_args"  // lines
    1.15 +    val build_tags = "build_tags"  // multiple
    1.16 +    val build_args = "build_args"  // multiple
    1.17      val build_group_id = "build_group_id"
    1.18      val build_id = "build_id"
    1.19      val build_engine = "build_engine"