Admin/isatest-makedist
changeset 15937 b74dfcdeac1b
parent 15840 462ea9188823
child 16043 e38b2ec79a2e
equal deleted inserted replaced
15936:817ac93ee786 15937:b74dfcdeac1b
    10 
    10 
    11 # canoncical home for all platforms
    11 # canoncical home for all platforms
    12 HOME=/usr/stud/isatest
    12 HOME=/usr/stud/isatest
    13 
    13 
    14 ## global settings
    14 ## global settings
    15 MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de"
    15 MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net"
    16 
    16 
    17 TMP=/tmp/isatest-makedist.$$
    17 TMP=/tmp/isatest-makedist.$$
    18 MAIL=$HOME/bin/pmail
    18 MAIL=$HOME/bin/pmail
    19 
    19 
    20 LOGPREFIX=$HOME/log
    20 LOGPREFIX=$HOME/log