# HG changeset patch
# User kleing
# Date 1114122690 -7200
# Node ID 8941300da5a610816accd2e24e87ab18600dbcef
# Parent  1e8017f1e9711af7c9b3446dadf29c21a6d8f565
test stable and devel version of smlnj

diff -r 1e8017f1e971 -r 8941300da5a6 Admin/isatest-makedist
--- a/Admin/isatest-makedist	Thu Apr 21 22:10:12 2005 +0200
+++ b/Admin/isatest-makedist	Fri Apr 22 00:31:30 2005 +0200
@@ -22,7 +22,7 @@
 ERRORDIR=$HOME/var
 ERRORLOG=$ERRORDIR/error.log
 RUNNING=$HOME/var/running
-DISTPREFIX=$HOME/isadist
+DISTPREFIX=$HOME/tmp/isadist
 MAKEDIST=$HOME/bin/makedist
 MAKEALL=$HOME/bin/isatest-makeall
 TAR=gtar
@@ -104,7 +104,7 @@
 
 ## spawn test runs
 
-$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml"
+$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml $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"