src/Pure/Tools/build_history.scala
changeset 64150 b10f2ddd7679
parent 64139 387c811cad6a
child 64151 be9b3cffe058
     1.1 --- a/src/Pure/Tools/build_history.scala	Tue Oct 11 09:41:07 2016 +0200
     1.2 +++ b/src/Pure/Tools/build_history.scala	Tue Oct 11 20:54:42 2016 +0200
     1.3 @@ -19,14 +19,6 @@
     1.4    val BUILD_HISTORY = "build_history"
     1.5    val META_INFO_MARKER = "\fmeta_info = "
     1.6  
     1.7 -  def log_date(date: Date): String =
     1.8 -    String.format(Locale.ROOT, "%s.%05d",
     1.9 -      DateTimeFormatter.ofPattern("yyyy-MM-dd").format(date.rep),
    1.10 -      new java.lang.Long((date.time - date.midnight.time).ms / 1000))
    1.11 -
    1.12 -  def log_name(date: Date, parts: String*): String =
    1.13 -    (BUILD_HISTORY :: log_date(date) :: parts.toList).mkString("", "_", ".log.gz")
    1.14 -
    1.15  
    1.16  
    1.17    /** other Isabelle environment **/
    1.18 @@ -261,8 +253,8 @@
    1.19        /* output log */
    1.20  
    1.21        val log_path =
    1.22 -        other_isabelle.log_dir + Path.explode(build_history_date.rep.getYear.toString) +
    1.23 -          Path.explode(log_name(build_history_date, ml_platform, "M" + threads))
    1.24 +        other_isabelle.log_dir +
    1.25 +          Build_Log.log_path(BUILD_HISTORY, build_history_date, ml_platform, "M" + threads).ext("gz")
    1.26  
    1.27        val build_info = Build_Log.Log_File(log_path.base.implode, res.out_lines).parse_build_info()
    1.28