changeset 78505 | 8cd399b25dac |
parent 78499 | a7dab3b8ebfe |
child 78506 | 14da1177d1c3 |
--- 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()