mail address update
authorisatest
Mon Jul 15 15:28:51 2002 +0200 (2002-07-15)
changeset 13359982827aacb39
parent 13358 c837ba4cfb62
child 13360 ece4b151f963
mail address update
Admin/isatest-makeall
Admin/isatest-makedist
     1.1 --- a/Admin/isatest-makeall	Mon Jul 15 10:41:34 2002 +0200
     1.2 +++ b/Admin/isatest-makeall	Mon Jul 15 15:28:51 2002 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  #              Send email if it fails.
     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  LOGPREFIX=~/log
    1.11  
    1.12 @@ -79,7 +79,7 @@
    1.13      else
    1.14          echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
    1.15  	FAIL="$FAIL$SHORT "
    1.16 -	LOGS="${LOGS}$HOSTNAME:$TESTLOG\n"
    1.17 +	LOGS="${LOGS}$HOSTNAME:$TESTLOG "
    1.18      fi
    1.19  
    1.20  done
    1.21 @@ -90,7 +90,7 @@
    1.22  	echo "$(date) $HOSTNAME $PRG: targets ${FAIL}FAILED, elapsed time $ELAPSED." >> $MASTERLOG
    1.23  	
    1.24  	echo "Test for platform(s) ${FAIL}failed. Log file(s) available at" > $TMP
    1.25 -	echo "$LOGS" >> $TMP
    1.26 +	for L in $LOGS; do echo "$L" >> $TMP; done
    1.27  
    1.28          for R in $MAILTO; do
    1.29  	    $MAIL "isabelle test failed" $R $TMP
     2.1 --- a/Admin/isatest-makedist	Mon Jul 15 10:41:34 2002 +0200
     2.2 +++ b/Admin/isatest-makedist	Mon Jul 15 15:28:51 2002 +0200
     2.3 @@ -11,7 +11,10 @@
     2.4  
     2.5  
     2.6  ## global settings
     2.7 -MAILTO="kleing@in.tum.de test@jflex.de"
     2.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"
     2.9 +
    2.10 +TMP=/tmp/isatest-makedist.$$
    2.11 +MAIL=~/bin/pmail
    2.12  
    2.13  LOGPREFIX=~/log
    2.14  MASTERLOG=$LOGPREFIX/isatest.log
    2.15 @@ -69,17 +72,15 @@
    2.16      ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
    2.17      echo "$(date) $HOSTNAME $PRG: dist build FAILED, elapsed time $ELAPSED." >> $MASTERLOG
    2.18  
    2.19 -    for R in $MAILTO; do 
    2.20 -        mail -t $R <<EOM
    2.21 -Subject: isabelle dist build failed
    2.22 +    echo "Could not build isabelle distribution. Log file available at" > $TMP
    2.23 +    echo "$HOSTNAME:$DISTLOG" >> $TMP
    2.24  
    2.25 -Could not build isabelle distribution. Log file available at
    2.26 -
    2.27 -$HOSTNAME:$DISTLOG
    2.28 -EOM
    2.29 +    for R in $MAILTO; do
    2.30 +	$MAIL "isabelle dist build failed" $R $TMP
    2.31      done
    2.32  
    2.33 -    # more action here
    2.34 +    rm $TMP
    2.35 +
    2.36      exit 1
    2.37  fi
    2.38  
    2.39 @@ -97,7 +98,6 @@
    2.40  
    2.41  # run tests in parallel on multiprocessor sun 
    2.42  $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
    2.43 -# $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
    2.44  
    2.45  # run tests sequentially on x86
    2.46  $SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"