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" |
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" |
15 |
15 |
16 LOGPREFIX=$HOME/log |
16 LOGPREFIX=$HOME/log |
17 MASTERLOG=$LOGPREFIX/isatest.log |
17 MASTERLOG=$LOGPREFIX/isatest.log |
18 |
18 |
19 ERRORDIR=$HOME/var |
19 ERRORDIR=$HOME/var |