# HG changeset patch
# User wenzelm
# Date 1690140198 -7200
# Node ID 43cbd96de418973a08edd5fab4cabca8d503cf5e
# Parent  9067d8ac9c47e53821d4b5d8a731ac8f6691b993
proper check;

diff -r 9067d8ac9c47 -r 43cbd96de418 src/Pure/Tools/build_cluster.scala
--- a/src/Pure/Tools/build_cluster.scala	Sun Jul 23 21:08:03 2023 +0200
+++ b/src/Pure/Tools/build_cluster.scala	Sun Jul 23 21:23:18 2023 +0200
@@ -161,7 +161,7 @@
           build_id = build_context.build_uuid,
           isabelle_home = remote_isabelle_home,
           afp_root = remote_afp_root)
-      remote_isabelle.bash(script)
+      remote_isabelle.bash(script).check
     }
 
     override def close(): Unit = ssh.close()