# HG changeset patch
# User kleing
# Date 1215517527 -7200
# Node ID 16570181ca4432d0382b6415088644f31af8c7a4
# Parent  9771f949bd84ac8d0e5f761d5c3945f97a25e491
migrated at-sml-dev-p to macbroy24, hoping for more reliable hardware

diff -r 9771f949bd84 -r 16570181ca44 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Mon Jul 07 23:37:33 2008 +0200
+++ b/Admin/isatest/isatest-makedist	Tue Jul 08 13:45:27 2008 +0200
@@ -101,7 +101,7 @@
 sleep 5
 $SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
 sleep 5
-$SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
+$SSH macbroy24 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
 sleep 5
 $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
 sleep 5