run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
--- a/Admin/isatest-makedist Fri Apr 22 04:12:24 2005 +0200
+++ b/Admin/isatest-makedist Fri Apr 22 14:15:01 2005 +0200
@@ -104,7 +104,7 @@
## spawn test runs
-$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml $HOME/settings/sun-sml-dev"
+$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml-dev"
# give test some time to copy settings and start
sleep 5
$SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml"