author | paulson |
Wed, 19 Apr 2006 10:43:53 +0200 | |
changeset 19449 | b07e3bca20c9 |
parent 17446 | f869b73b71ec |
child 19941 | f0aeb6a145b1 |
permissions | -rw-r--r-- |
kleing@16615 | 1 |
# -*- shell-script -*- |
kleing@16095 | 2 |
# $Id$ |
kleing@16095 | 3 |
# Author: Gerwin Klein, NICTA |
kleing@16095 | 4 |
# |
kleing@16095 | 5 |
# DESCRIPTION: common settings for the isatest-* scripts |
kleing@16095 | 6 |
|
kleing@16095 | 7 |
# source bashrc, we're called by cron |
kleing@16095 | 8 |
. ~/.bashrc |
kleing@16095 | 9 |
|
kleing@16095 | 10 |
# canoncical home for all platforms |
kleing@16106 | 11 |
HOME=/usr/stud/isatest |
kleing@16095 | 12 |
|
kleing@16095 | 13 |
## send email on failure to |
wenzelm@17446 | 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" |
kleing@16095 | 15 |
|
kleing@16095 | 16 |
LOGPREFIX=$HOME/log |
kleing@16095 | 17 |
MASTERLOG=$LOGPREFIX/isatest.log |
kleing@16095 | 18 |
|
kleing@16095 | 19 |
ERRORDIR=$HOME/var |
kleing@16095 | 20 |
ERRORLOG=$ERRORDIR/error.log |
kleing@16095 | 21 |
|
kleing@16095 | 22 |
RUNNING=$HOME/var/running |
kleing@16095 | 23 |
|
kleing@16095 | 24 |
DISTPREFIX=$HOME/tmp/isadist |