--- a/src/Pure/System/setup_tool.scala Wed Mar 27 13:17:04 2024 +0100
+++ b/src/Pure/System/setup_tool.scala Wed Mar 27 13:17:22 2024 +0100
@@ -23,7 +23,7 @@
def test(other_isabelle: Other_Isabelle): Boolean =
other_isabelle.getenv(variable) == "true" &&
- files.exists(p => (other_isabelle.isabelle_home + p).is_file)
+ files.exists(p => other_isabelle.ssh.is_file(other_isabelle.isabelle_home + p))
def run(other_isabelle: Other_Isabelle, verbose: Boolean = false): Unit =
other_isabelle.bash("bin/isabelle " + Bash.string(tool), echo = verbose)