# HG changeset patch
# User wenzelm
# Date 1493492188 -7200
# Node ID 4c14da234221bc47e3ce611885d33dad5c4bc085
# Parent  f86798cbe0c26dbc403cdce4c3450a0234134ffb
exclude special log files;

diff -r f86798cbe0c2 -r 4c14da234221 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Sat Apr 29 20:34:46 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Sat Apr 29 20:56:28 2017 +0200
@@ -138,8 +138,12 @@
       suffixes: List[String] = List(".log", ".log.gz", ".log.xz")): Boolean =
     {
       val name = file.getName
+
       prefixes.exists(name.startsWith(_)) &&
-      suffixes.exists(name.endsWith(_))
+      suffixes.exists(name.endsWith(_)) &&
+      name != "isatest.log" &&
+      name != "afp-test.log" &&
+      name != "main.log"
     }
 
     def find_files(dirs: Iterable[Path]): List[JFile] =