Admin/isatest-makedist
changeset 13234 8139edae3bf5
parent 13233 5ab7bac534c9
child 13237 493d61afa731
     1.1 --- a/Admin/isatest-makedist	Thu Jun 20 22:17:28 2002 +0200
     1.2 +++ b/Admin/isatest-makedist	Thu Jun 20 22:30:00 2002 +0200
     1.3 @@ -10,6 +10,8 @@
     1.4  LOGPREFIX=~/log
     1.5  DISTPREFIX=~/isadist
     1.6  MAKEDIST=~/bin/makedist
     1.7 +MAKEALL=~/bin/isatest-makeall
     1.8 +TAR=gtar
     1.9  
    1.10  SUN=sunbroy2
    1.11  AT=atbroy37
    1.12 @@ -59,17 +61,17 @@
    1.13  fi
    1.14  
    1.15  cd $DISTPREFIX >> $DISTLOG 2>&1
    1.16 -tar xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
    1.17 +$TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
    1.18  
    1.19  echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    1.20  
    1.21  ## spawn test runs
    1.22  
    1.23  # run tests in parallel on multiprocessor sun 
    1.24 -$SSH $SUN "$MAKEDIST $DISTPREFIX ~/settings/sun-poly"
    1.25 -$SSH $SUN "$MAKEDIST $DISTPREFIX ~/settings/sun-sml"
    1.26 +$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly"
    1.27 +$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
    1.28  
    1.29  # run tests sequentially on x86
    1.30 -$SSH $AT "$MAKEDIST $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
    1.31 +$SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
    1.32  
    1.33 -## end
    1.34 \ No newline at end of file
    1.35 +## end