equal
deleted
inserted
replaced
|
1 # $Id$ |
|
2 # Author: Gerwin Klein, NICTA |
|
3 # |
|
4 # DESCRIPTION: common settings for the isatest-* scripts |
|
5 |
|
6 # source bashrc, we're called by cron |
|
7 . ~/.bashrc |
|
8 |
|
9 # canoncical home for all platforms |
|
10 HOME=/home/stud/isatest |
|
11 |
|
12 ## send email on failure to |
|
13 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 haftmann@in.tum.de" |
|
14 |
|
15 LOGPREFIX=$HOME/log |
|
16 MASTERLOG=$LOGPREFIX/isatest.log |
|
17 |
|
18 ERRORDIR=$HOME/var |
|
19 ERRORLOG=$ERRORDIR/error.log |
|
20 |
|
21 RUNNING=$HOME/var/running |
|
22 |
|
23 DISTPREFIX=$HOME/tmp/isadist |