regression tests: send failure reports to krauss@in.tum.de, too
authorkrauss
Tue May 22 13:40:37 2007 +0200 (2007-05-22)
changeset 23070c5b896d9788c
parent 23069 cdfff0241c12
child 23071 bf058e6405f8
regression tests: send failure reports to krauss@in.tum.de, too
Admin/isatest/isatest-settings
     1.1 --- a/Admin/isatest/isatest-settings	Tue May 22 07:29:49 2007 +0200
     1.2 +++ b/Admin/isatest/isatest-settings	Tue May 22 13:40:37 2007 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  HOME=/home/isatest
     1.5  
     1.6  ## send email on failure to
     1.7 -MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de"
     1.8 +MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de krauss@in.tum.de"
     1.9  
    1.10  LOGPREFIX=$HOME/log
    1.11  MASTERLOG=$LOGPREFIX/isatest.log