# HG changeset patch # User isatest # Date 1024605000 -7200 # Node ID 8139edae3bf5dcfd3db2ab95cfe08606295493a6 # Parent 5ab7bac534c93fc67103afd822e9c28d6ad3c148 tuned diff -r 5ab7bac534c9 -r 8139edae3bf5 Admin/isatest-makedist --- a/Admin/isatest-makedist Thu Jun 20 22:17:28 2002 +0200 +++ b/Admin/isatest-makedist Thu Jun 20 22:30:00 2002 +0200 @@ -10,6 +10,8 @@ LOGPREFIX=~/log DISTPREFIX=~/isadist MAKEDIST=~/bin/makedist +MAKEALL=~/bin/isatest-makeall +TAR=gtar SUN=sunbroy2 AT=atbroy37 @@ -59,17 +61,17 @@ fi cd $DISTPREFIX >> $DISTLOG 2>&1 -tar xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1 +$TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 ## spawn test runs # run tests in parallel on multiprocessor sun -$SSH $SUN "$MAKEDIST $DISTPREFIX ~/settings/sun-poly" -$SSH $SUN "$MAKEDIST $DISTPREFIX ~/settings/sun-sml" +$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly" +$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml" # run tests sequentially on x86 -$SSH $AT "$MAKEDIST $DISTPREFIX ~/settings/at-poly ~/settings/at-sml" +$SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml" -## end \ No newline at end of file +## end