# HG changeset patch
# User wenzelm
# Date 1691689903 -7200
# Node ID ab07d4cb7d1c0ee6ae1b601b023b68cc322454e6
# Parent  91817b2f3f55991c9a0580e234eba6ba94de28a2
removed junk (amending 8cd399b25dac);

diff -r 91817b2f3f55 -r ab07d4cb7d1c src/Pure/Tools/build_cluster.scala
--- a/src/Pure/Tools/build_cluster.scala	Thu Aug 10 19:48:39 2023 +0200
+++ b/src/Pure/Tools/build_cluster.scala	Thu Aug 10 19:51:43 2023 +0200
@@ -161,7 +161,6 @@
           build_id = build_context.build_uuid,
           isabelle_home = remote_isabelle_home,
           afp_root = remote_afp_root)
-      Console.println(script)
       remote_isabelle.bash(script).print.check
     }