changeset 78508 | ab07d4cb7d1c |
parent 78506 | 14da1177d1c3 |
child 78556 | 20360824863a |
--- 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 }