email sending
authorisatest
Mon Jun 24 16:33:43 2002 +0200 (2002-06-24)
changeset 13246e51efc2029e9
parent 13245 714f7a423a15
child 13247 e3c289f0724b
email sending
Admin/isatest-makeall
Admin/isatest-makedist
     1.1 --- a/Admin/isatest-makeall	Mon Jun 24 11:59:21 2002 +0200
     1.2 +++ b/Admin/isatest-makeall	Mon Jun 24 16:33:43 2002 +0200
     1.3 @@ -8,6 +8,8 @@
     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 +
     1.9  LOGPREFIX=~/log
    1.10  
    1.11  MASTERLOG=$LOGPREFIX/isatest.log
    1.12 @@ -69,9 +71,19 @@
    1.13          echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
    1.14          mv $DISTPREFIX/Isabelle/etc/settings.save-$SHORT $DISTPREFIX/Isabelle/etc/settings
    1.15          gzip -f $TESTLOG
    1.16 +	rm -rf ~/isabelle-$SHORT
    1.17      else
    1.18          echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
    1.19  	FAIL="$FAIL$SHORT "
    1.20 +	for R in $MAILTO; do
    1.21 +    		mail -t $R <<EOM
    1.22 +Subject: isabelle test failed
    1.23 +
    1.24 +Test for platform $SHORT failed. Log file available at
    1.25 +
    1.26 +$HOSTNAME:$TESTLOG
    1.27 +EOM
    1.28 +	done
    1.29          # more action here
    1.30      fi
    1.31  
     2.1 --- a/Admin/isatest-makedist	Mon Jun 24 11:59:21 2002 +0200
     2.2 +++ b/Admin/isatest-makedist	Mon Jun 24 16:33:43 2002 +0200
     2.3 @@ -11,6 +11,8 @@
     2.4  
     2.5  
     2.6  ## global settings
     2.7 +MAILTO="kleing@in.tum.de test@jflex.de"
     2.8 +
     2.9  LOGPREFIX=~/log
    2.10  MASTERLOG=$LOGPREFIX/isatest.log
    2.11  DISTPREFIX=~/isadist
    2.12 @@ -66,6 +68,17 @@
    2.13      echo ------------------- DIST BUILD FAILED --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    2.14      ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
    2.15      echo "$(date) $HOSTNAME $PRG: dist build FAILED, elapsed time $ELAPSED." >> $MASTERLOG
    2.16 +
    2.17 +    for R in $MAILTO; do 
    2.18 +        mail -t $R <<EOM
    2.19 +Subject: isabelle dist build failed
    2.20 +
    2.21 +Could not build isabelle distribution. Log file available at
    2.22 +
    2.23 +$HOSTNAME:$DISTLOG
    2.24 +EOM
    2.25 +    done
    2.26 +
    2.27      # more action here
    2.28      exit 1
    2.29  fi
    2.30 @@ -83,8 +96,8 @@
    2.31  ## spawn test runs
    2.32  
    2.33  # run tests in parallel on multiprocessor sun 
    2.34 -$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly"
    2.35 -$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
    2.36 +$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
    2.37 +# $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
    2.38  
    2.39  # run tests sequentially on x86
    2.40  $SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"