# HG changeset patch
# User wenzelm
# Date 1476629868 -7200
# Node ID a4718dfc9cd4b297694555d69148b640822f596d
# Parent  e84cba30d7ff3d71edd430d32f167b29be5c3c63
more compression for big log files;

diff -r e84cba30d7ff -r a4718dfc9cd4 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Sun Oct 16 13:27:01 2016 +0200
+++ b/src/Pure/Admin/build_history.scala	Sun Oct 16 16:57:48 2016 +0200
@@ -194,7 +194,7 @@
         other_isabelle.isabelle_home_user +
           Build_Log.log_subdir(build_history_date) +
           Build_Log.log_filename(
-            BUILD_HISTORY, build_history_date, build_host, ml_platform, "M" + threads).ext("gz")
+            BUILD_HISTORY, build_history_date, build_host, ml_platform, "M" + threads)
 
       val build_info = Build_Log.Log_File(log_path.base.implode, res.out_lines).parse_build_info()
 
@@ -226,11 +226,11 @@
           })
 
       Isabelle_System.mkdirs(log_path.dir)
-      File.write_gzip(log_path,
+      File.write_xz(log_path.ext("xz"),
         terminate_lines(
           Build_Log.Log_File.print_props(META_INFO_MARKER, meta_info) :: res.out_lines :::
           ml_statistics.map(Build_Log.Log_File.print_props(Build_Log.ML_STATISTICS_MARKER, _)) :::
-          heap_sizes))
+          heap_sizes), XZ.options(6))
 
 
       /* next build */