Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_history.scala
changeset 64263 d389a83b8d55
parent 64260 5389ebfd576d
child 64296 544481988e65 
--- a/src/Pure/Admin/build_history.scala	Sun Oct 16 19:18:54 2016 +0200
+++ b/src/Pure/Admin/build_history.scala	Sun Oct 16 20:08:23 2016 +0200
@@ -242,7 +242,7 @@
 
       first_build = false
 
-      (res, log_path)
+      (res, log_path.ext("xz"))
     }
   }
isabelle