author | wenzelm |
Thu, 10 Aug 2023 19:51:43 +0200 | |
changeset 78508 | ab07d4cb7d1c |
parent 78507 | 91817b2f3f55 |
child 78509 | 146468e05dd4 |
--- 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 }