diff -r 2e989faba65a -r 8ab1d3e73bb1 Admin/isatest-makedist
--- a/Admin/isatest-makedist	Mon May 05 13:52:19 2003 +0200
+++ b/Admin/isatest-makedist	Mon May 05 15:55:56 2003 +0200
@@ -23,9 +23,6 @@
 MAKEALL=~/bin/isatest-makeall
 TAR=gtar
 
-SUN=sunbroy2
-AT=atbroy51
-
 SSH="ssh -f"
 
 ## diagnostics
@@ -99,8 +96,8 @@
 
 ## spawn test runs
 
-$SSH sunbroy1 "$MAKEALL $DISTPREFIX ~/settings/sun1-poly ~/settings/sun1-sml"
-$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
-$SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
+$SSH sunbroy2 "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
+$SSH atbroy51 "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
+$SSH macbroy33 "$MAKEALL $DISTPREFIX ~/settings/mac-poly"
 
 ## end