# HG changeset patch
# User isatest
# Date 1114172101 -7200
# Node ID 741978011e124e5c92d92e3ab9d1d17e9742bd15
# Parent  c1d36b9c7c3b72ef002b54ffedfc250b3f162817
run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around

diff -r c1d36b9c7c3b -r 741978011e12 Admin/isatest-makedist
--- 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"