Admin/isatest-check
changeset 16095 f6af6b265d20
parent 15937 b74dfcdeac1b
child 16178 754efc5afd5d
equal deleted inserted replaced
16094:a92ee2833938 16095:f6af6b265d20
     4 # Author: Gerwin Klein, TU Muenchen
     4 # Author: Gerwin Klein, TU Muenchen
     5 #
     5 #
     6 # DESCRIPTION: sends email for failed tests, checks for error.log,
     6 # DESCRIPTION: sends email for failed tests, checks for error.log,
     7 #              generates development snapshot if test ok
     7 #              generates development snapshot if test ok
     8 
     8 
     9 # source bashrc, we're called by cron
     9 ## global settings
    10 . ~/.bashrc
    10 . ~/admin/isatest-settings
    11 
    11 
    12 # produce empty list for patterns like isatest-*.log if no 
    12 # produce empty list for patterns like isatest-*.log if no 
    13 # such file exists 
    13 # such file exists 
    14 shopt -s nullglob
    14 shopt -s nullglob
    15 
    15 
    16 ## global settings
    16 ADMIN="berghofe@in.tum.de kleing@in.tum.de"
    17 
       
    18 # send mail to:
       
    19 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"
       
    20 
       
    21 ADMIN="berghofe@in.tum.de"
       
    22 
       
    23 # canoncical home for all platforms
       
    24 HOME=/usr/stud/isatest
       
    25 
       
    26 # where to find the distribution
       
    27 export DISTPREFIX=$HOME/tmp/isadist
       
    28 
    17 
    29 # mail program
    18 # mail program
    30 MAIL=$HOME/bin/pmail
    19 MAIL=$HOME/bin/pmail
    31 
    20 
    32 # where the logs are
       
    33 ERRORDIR=$HOME/var
       
    34 ERRORLOG=$ERRORDIR/error.log
       
    35 MASTERLOG=$HOME/log/isatest.log
       
    36 
       
    37 # where the test-still-running files are
       
    38 RUNNING=$HOME/var/running
       
    39 
       
    40 # tmp file for sending mail
    21 # tmp file for sending mail
    41 TMP=/tmp/isatest-makedist.$$
    22 TMP=/tmp/isatest-makedist.$$
       
    23 
       
    24 export DISTPREFIX
    42 
    25 
    43 
    26 
    44 ## diagnostics
    27 ## diagnostics
    45 
    28 
    46 PRG="$(basename "$0")"
    29 PRG="$(basename "$0")"