# HG changeset patch
# User wenzelm
# Date 1698575957 -3600
# Node ID 66634877e34cbb0dbf3f9878d6db30b9fba43b42
# Parent  6fdcd6c8c97ae7ffff4f2342851069867c46eba7
tuned;

diff -r 6fdcd6c8c97a -r 66634877e34c src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Sat Oct 28 19:13:02 2023 +0200
+++ b/src/Pure/Admin/build_log.scala	Sun Oct 29 11:39:17 2023 +0100
@@ -92,8 +92,10 @@
   object Log_File {
     /* log file */
 
+    val all_suffixes: List[String] = List(".log", ".log.gz", ".log.xz", ".gz", ".xz")
+
     def plain_name(name: String): String = {
-      List(".log", ".log.gz", ".log.xz", ".gz", ".xz").find(name.endsWith) match {
+      all_suffixes.find(name.endsWith) match {
         case Some(s) => Library.try_unsuffix(s, name).get
         case None => name
       }
@@ -120,11 +122,15 @@
 
     /* log file collections */
 
+    val log_prefixes: List[String] =
+      List(Build_History.log_prefix, Identify.log_prefix, Identify.log_prefix2,
+        Isatest.log_prefix, AFP_Test.log_prefix)
+
+    val log_suffixes: List[String] = List(".log", ".log.gz", ".log.xz")
+
     def is_log(file: JFile,
-      prefixes: List[String] =
-        List(Build_History.log_prefix, Identify.log_prefix, Identify.log_prefix2,
-          Isatest.log_prefix, AFP_Test.log_prefix),
-      suffixes: List[String] = List(".log", ".log.gz", ".log.xz")
+      prefixes: List[String] = log_prefixes,
+      suffixes: List[String] = log_suffixes
     ): Boolean = {
       val name = file.getName