test stable and devel version of smlnj
authorkleing
Fri, 22 Apr 2005 00:31:30 +0200
changeset 15806 8941300da5a6
parent 15805 1e8017f1e971
child 15807 98bff95f88ba
test stable and devel version of smlnj
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"