Admin/isatest-makedist
changeset 13680 a6ce43a59d4a
parent 13431 b0ba3b3573e1
child 13839 e1240620f1b5
equal deleted inserted replaced
13679:2ebad1cb045f 13680:a6ce43a59d4a
     9 # source bashrc, we're called by cron
     9 # source bashrc, we're called by cron
    10 . ~/.bashrc
    10 . ~/.bashrc
    11 
    11 
    12 
    12 
    13 ## global settings
    13 ## global settings
    14 MAILTO="kleing@in.tum.de nipkow@in.tum.de wenzelm@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
    14 MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
    15 
    15 
    16 TMP=/tmp/isatest-makedist.$$
    16 TMP=/tmp/isatest-makedist.$$
    17 MAIL=~/bin/pmail
    17 MAIL=~/bin/pmail
    18 
    18 
    19 LOGPREFIX=~/log
    19 LOGPREFIX=~/log
    22 MAKEDIST=~/bin/makedist
    22 MAKEDIST=~/bin/makedist
    23 MAKEALL=~/bin/isatest-makeall
    23 MAKEALL=~/bin/isatest-makeall
    24 TAR=gtar
    24 TAR=gtar
    25 
    25 
    26 SUN=sunbroy2
    26 SUN=sunbroy2
    27 AT=atbroy37
    27 AT=atbroy51
    28 
    28 
    29 SSH="ssh -f"
    29 SSH="ssh -f"
    30 
    30 
    31 ## diagnostics
    31 ## diagnostics
    32 
    32