# HG changeset patch
# User wenzelm
# Date 1693133879 -7200
# Node ID 92ef737f412cc89e5e59955336f4975183c5f7ae
# Parent  8f11794211efa2ef7de3707003b9111624dae4e8
removed junk (following ab07d4cb7d1c, amending 8cd399b25dac);

diff -r 8f11794211ef -r 92ef737f412c src/Pure/Tools/build_cluster.scala
--- a/src/Pure/Tools/build_cluster.scala	Sun Aug 27 12:49:43 2023 +0200
+++ b/src/Pure/Tools/build_cluster.scala	Sun Aug 27 12:57:59 2023 +0200
@@ -172,7 +172,7 @@
           isabelle_home = remote_isabelle_home,
           afp_root = remote_afp_root,
           dirs = Path.split(host.dirs).map(remote_isabelle.expand_path))
-      remote_isabelle.bash(script).print.check
+      remote_isabelle.bash(script).check
     }
 
     override def close(): Unit = ssh.close()