# HG changeset patch
# User wenzelm
# Date 1711541961 -3600
# Node ID d1ac1bb01060bac2a02d3afcacebb6d77d17c978
# Parent  27f2a6bd5616bcfd69100c8a260fcd8f14627eae
clarified signature;

diff -r 27f2a6bd5616 -r d1ac1bb01060 src/Pure/System/setup_tool.scala
--- a/src/Pure/System/setup_tool.scala	Wed Mar 27 13:17:22 2024 +0100
+++ b/src/Pure/System/setup_tool.scala	Wed Mar 27 13:19:21 2024 +0100
@@ -19,11 +19,11 @@
 extends Isabelle_System.Service {
   override def toString: String = tool
 
-  val files: List[Path] = List(Path.explode("lib/Tools") + Path.basic(tool))
+  val test_file: Path = Path.explode("lib/Tools") + Path.basic(tool)
 
   def test(other_isabelle: Other_Isabelle): Boolean =
     other_isabelle.getenv(variable) == "true" &&
-    files.exists(p => other_isabelle.ssh.is_file(other_isabelle.isabelle_home + p))
+    other_isabelle.ssh.is_file(other_isabelle.isabelle_home + test_file)
 
   def run(other_isabelle: Other_Isabelle, verbose: Boolean = false): Unit =
     other_isabelle.bash("bin/isabelle " + Bash.string(tool), echo = verbose)