Admin/isatest-makedist
changeset 13359 982827aacb39
parent 13246 e51efc2029e9
child 13431 b0ba3b3573e1
     1.1 --- a/Admin/isatest-makedist	Mon Jul 15 10:41:34 2002 +0200
     1.2 +++ b/Admin/isatest-makedist	Mon Jul 15 15:28:51 2002 +0200
     1.3 @@ -11,7 +11,10 @@
     1.4  
     1.5  
     1.6  ## global settings
     1.7 -MAILTO="kleing@in.tum.de test@jflex.de"
     1.8 +MAILTO="kleing@in.tum.de nipkow@in.tum.de wenzelm@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
     1.9 +
    1.10 +TMP=/tmp/isatest-makedist.$$
    1.11 +MAIL=~/bin/pmail
    1.12  
    1.13  LOGPREFIX=~/log
    1.14  MASTERLOG=$LOGPREFIX/isatest.log
    1.15 @@ -69,17 +72,15 @@
    1.16      ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
    1.17      echo "$(date) $HOSTNAME $PRG: dist build FAILED, elapsed time $ELAPSED." >> $MASTERLOG
    1.18  
    1.19 -    for R in $MAILTO; do 
    1.20 -        mail -t $R <<EOM
    1.21 -Subject: isabelle dist build failed
    1.22 +    echo "Could not build isabelle distribution. Log file available at" > $TMP
    1.23 +    echo "$HOSTNAME:$DISTLOG" >> $TMP
    1.24  
    1.25 -Could not build isabelle distribution. Log file available at
    1.26 -
    1.27 -$HOSTNAME:$DISTLOG
    1.28 -EOM
    1.29 +    for R in $MAILTO; do
    1.30 +	$MAIL "isabelle dist build failed" $R $TMP
    1.31      done
    1.32  
    1.33 -    # more action here
    1.34 +    rm $TMP
    1.35 +
    1.36      exit 1
    1.37  fi
    1.38  
    1.39 @@ -97,7 +98,6 @@
    1.40  
    1.41  # run tests in parallel on multiprocessor sun 
    1.42  $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
    1.43 -# $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
    1.44  
    1.45  # run tests sequentially on x86
    1.46  $SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"