# 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