src/Pure/Tools/build_log.scala
changeset 64094 629558a1ecf5
parent 64092 95469c544b82
child 64095 1a6d37c31df9
     1.1 --- a/src/Pure/Tools/build_log.scala	Fri Oct 07 21:19:15 2016 +0200
     1.2 +++ b/src/Pure/Tools/build_log.scala	Fri Oct 07 21:46:42 2016 +0200
     1.3 @@ -211,11 +211,6 @@
     1.4            case "EST" => "GMT+1"  // FIXME ??
     1.5            case a => a })))
     1.6  
     1.7 -    object Strict_Date
     1.8 -    {
     1.9 -      def unapply(s: String): Some[Date] = Some(Date_Format.parse(s))
    1.10 -    }
    1.11 -
    1.12      val Test_Start = new Regex("""^Start test(?: for .+)? at ([^,]+), (.*)$""")
    1.13      val Test_Start_Old = new Regex("""^Start test(?: for .+)? at ([^,]+)$""")
    1.14      val Test_End = new Regex("""^End test on (.+), .+, elapsed time:.*$""")
    1.15 @@ -230,7 +225,7 @@
    1.16        val start_date = Field.build_start -> start.toString
    1.17        val end_date =
    1.18          log_file.lines.last match {
    1.19 -          case AFP.Test_End(AFP.Strict_Date(end_date)) =>
    1.20 +          case AFP.Test_End(AFP.Date_Format.Strict(end_date)) =>
    1.21              List(Field.build_end -> end_date.toString)
    1.22            case _ => Nil
    1.23          }
    1.24 @@ -249,9 +244,9 @@
    1.25      }
    1.26  
    1.27      log_file.lines match {
    1.28 -      case AFP.Test_Start(AFP.Strict_Date(start_date), hostname) :: _ =>
    1.29 +      case AFP.Test_Start(AFP.Date_Format.Strict(start_date), hostname) :: _ =>
    1.30          parse_afp(start_date, hostname)
    1.31 -      case AFP.Test_Start_Old(AFP.Strict_Date(start_date)) :: _ =>
    1.32 +      case AFP.Test_Start_Old(AFP.Date_Format.Strict(start_date)) :: _ =>
    1.33          parse_afp(start_date, "")
    1.34        case _ => log_file.err("cannot detect log header format")
    1.35      }