# HG changeset patch
# User wenzelm
# Date 1476372879 -7200
# Node ID 290b8ba96ecc5a58123cfb8cec3f1c1916523468
# Parent  b5ada7dcceaa5fa705af1babf3bfcd393b33c6f6
tuned;

diff -r b5ada7dcceaa -r 290b8ba96ecc src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Oct 13 17:22:32 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Oct 13 17:34:39 2016 +0200
@@ -41,10 +41,7 @@
         val isabelle_id = pull_repos(isabelle_repos)
         val afp_id = pull_repos(afp_repos)
 
-        val log_dir = main_dir + Build_Log.log_subdir(logger.start_date)
-        Isabelle_System.mkdirs(log_dir)
-
-        File.write(log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date),
+        File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date),
           terminate_lines(
             List("isabelle_identify: " + Build_Log.print_date(logger.start_date),
               "",
@@ -58,16 +55,13 @@
   private val build_history_base =
     Logger_Task("build_history_base", logger =>
       {
-        val log_dir = main_dir + Build_Log.log_subdir(logger.start_date)
-        Isabelle_System.mkdirs(log_dir)
-
         for {
           (result, log_path) <-
             Build_History.build_history(Mercurial.repository(isabelle_repos),
               rev = "build_history_base", fresh = true, build_args = List("FOL"))
         } {
           result.check
-          File.copy(log_path, log_dir + log_path.base)
+          File.copy(log_path, logger.log_dir + log_path.base)
         }
       })
 
@@ -131,6 +125,9 @@
       log(end_date, msg)
     }
 
+    val log_dir: Path = main_dir + Build_Log.log_subdir(start_date)
+
+    Isabelle_System.mkdirs(log_dir)
     log(start_date, "started")
   }