# HG changeset patch
# User wenzelm
# Date 1495531520 -7200
# Node ID 4940682a2e1aff99f8bbf07a8836c1fb1ac31664
# Parent  aefdb9e664c94ce438e69d91a4c2cc66379bc64c
more persistent build.out;

diff -r aefdb9e664c9 -r 4940682a2e1a src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Tue May 23 10:59:01 2017 +0200
+++ b/src/Pure/Admin/build_history.scala	Tue May 23 11:25:20 2017 +0200
@@ -169,7 +169,7 @@
       val isabelle_output = Path.explode(other_isabelle("getenv -b ISABELLE_OUTPUT").check.out)
       val isabelle_output_log = isabelle_output + Path.explode("log")
       val isabelle_base_log = isabelle_output + Path.explode("../base_log")
-      val build_out = isabelle_output_log + Path.explode("build.out")
+      val build_out = other_isabelle.isabelle_home_user + Path.explode("log/build.out")
 
       if (first_build) {
         other_isabelle.resolve_components(verbose)
@@ -186,6 +186,15 @@
       Isabelle_System.rm_tree(isabelle_output)
       Isabelle_System.mkdirs(isabelle_output)
 
+      val log_path =
+        other_isabelle.isabelle_home_user +
+          Build_Log.log_subdir(build_history_date) +
+          Build_Log.log_filename(Build_History.engine, build_history_date,
+            List(build_host, ml_platform, "M" + threads) ::: build_tags)
+
+      Isabelle_System.mkdirs(log_path.dir)
+      build_out.file.delete
+
 
       /* build */
 
@@ -202,12 +211,6 @@
       }
       val build_end = Date.now()
 
-      val log_path =
-        other_isabelle.isabelle_home_user +
-          Build_Log.log_subdir(build_history_date) +
-          Build_Log.log_filename(Build_History.engine, build_history_date,
-            List(build_host, ml_platform, "M" + threads) ::: build_tags)
-
       val build_info: Build_Log.Build_Info =
         Build_Log.Log_File(log_path.base.implode, build_result.out_lines).
           parse_build_info(ml_statistics = true)
@@ -256,7 +259,6 @@
             else None
           })
 
-      Isabelle_System.mkdirs(log_path.dir)
       File.write_xz(log_path.ext("xz"),
         terminate_lines(
           Build_Log.Log_File.print_props(META_INFO_MARKER, meta_info) :: build_result.out_lines :::
@@ -266,8 +268,6 @@
 
       /* next build */
 
-      build_out.file.delete
-
       if (multicore_base && first_build && isabelle_output_log.is_dir)
         Isabelle_System.copy_dir(isabelle_output_log, isabelle_base_log)