Admin/isatest-settings
changeset 17446 f869b73b71ec
parent 16616 491d8dbdb3b8
child 19941 f0aeb6a145b1
equal deleted inserted replaced
17445:3c9c46b820f5 17446:f869b73b71ec
     9 
     9 
    10 # canoncical home for all platforms
    10 # canoncical home for all platforms
    11 HOME=/usr/stud/isatest
    11 HOME=/usr/stud/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 skalberg@in.tum.de 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"
    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