# HG changeset patch
# User wenzelm
# Date 1495304812 -7200
# Node ID b3d6fb291f587e040e63d6733c946ebf34ad0ef0
# Parent  54c6ec4166a4fd755ff8d15f4d8d1ce00720486d
keep main build.log to help diagnosing spurious lack of log_path.xz;

diff -r 54c6ec4166a4 -r b3d6fb291f58 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Fri May 19 20:23:07 2017 +0200
+++ b/src/Pure/Admin/build_history.scala	Sat May 20 20:26:52 2017 +0200
@@ -203,6 +203,9 @@
           Build_Log.log_filename(Build_History.engine, build_history_date,
             List(build_host, ml_platform, "M" + threads) ::: build_tags)
 
+      Isabelle_System.mkdirs(isabelle_output_log)
+      File.write(isabelle_output_log + Path.explode("build.log"), build_result.out)
+
       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)