diff -r 98e690566628 -r 8cd399b25dac src/Pure/Tools/build_cluster.scala
--- a/src/Pure/Tools/build_cluster.scala	Thu Aug 10 16:49:17 2023 +0200
+++ b/src/Pure/Tools/build_cluster.scala	Thu Aug 10 16:57:01 2023 +0200
@@ -161,7 +161,8 @@
           build_id = build_context.build_uuid,
           isabelle_home = remote_isabelle_home,
           afp_root = remote_afp_root)
-      remote_isabelle.bash(script).check
+      Console.println(script)
+      remote_isabelle.bash(script).print.check
     }
 
     override def close(): Unit = ssh.close()