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 boehmes@in.tum.de hoelzl@in.tum.de" |
14 MAILTO="\ |
|
15 kleing@cse.unsw.edu.au \ |
|
16 nipkow@in.tum.de \ |
|
17 berghofe@in.tum.de \ |
|
18 schirmer@in.tum.de \ |
|
19 lp15@cam.ac.uk \ |
|
20 makarius@sketis.net \ |
|
21 blanchet@in.tum.de \ |
|
22 boehmes@in.tum.de \ |
|
23 bulwahn@in.tum.de \ |
|
24 haftmann@in.tum.de \ |
|
25 hoelzl@in.tum.de \ |
|
26 krauss@in.tum.de \ |
|
27 noschinl@in.tum.de" |
15 |
28 |
16 LOGPREFIX=$HOME/log |
29 LOGPREFIX=$HOME/log |
17 MASTERLOG=$LOGPREFIX/isatest.log |
30 MASTERLOG=$LOGPREFIX/isatest.log |
18 LOGSERVER=macbroy28.informatik.tu-muenchen.de |
31 LOGSERVER=macbroy28.informatik.tu-muenchen.de |
19 |
32 |