--- a/Admin/isatest/isatest-makedist Sat Apr 19 12:36:12 2008 +0200
+++ b/Admin/isatest/isatest-makedist Mon Apr 21 00:06:55 2008 +0200
@@ -97,13 +97,13 @@
$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
# give test some time to copy settings and start
sleep 5
-$SSH atbroy51 "$MAKEALL $HOME/settings/at-poly"
+$SSH macbroy21 "$MAKEALL $HOME/settings/at-poly"
sleep 5
-$SSH atbroy9 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
+$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"
sleep 5
-$SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
+$SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
sleep 5
$SSH atbroy98 "$MAKEALL $HOME/settings/at-sml-dev-e"
sleep 5