equal
deleted
inserted
replaced
9 |
9 |
10 # canoncical home for all platforms |
10 # canoncical home for all platforms |
11 HOME=/home/isatest |
11 HOME=/home/isatest |
12 |
12 |
13 ## send email on failure to |
13 ## send email on failure to |
14 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 blanchet@in.tum.de bulwahn@in.tum.de" |
14 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 blanchet@in.tum.de bulwahn@in.tum.de boehmes@in.tum.de hoelzl@in.tum.de" |
15 |
15 |
16 LOGPREFIX=$HOME/log |
16 LOGPREFIX=$HOME/log |
17 MASTERLOG=$LOGPREFIX/isatest.log |
17 MASTERLOG=$LOGPREFIX/isatest.log |
18 LOGSERVER=macbroy23.informatik.tu-muenchen.de |
18 LOGSERVER=macbroy23.informatik.tu-muenchen.de |
19 |
19 |