put global isatest settings in one file, sourced by the other scripts
authorkleing
Fri May 27 01:09:44 2005 +0200 (2005-05-27 ago)
changeset 16095f6af6b265d20
parent 16094 a92ee2833938
child 16096 16e895296b2a
put global isatest settings in one file, sourced by the other scripts
Admin/isatest-check
Admin/isatest-makeall
Admin/isatest-makedist
Admin/isatest-settings
     1.1 --- a/Admin/isatest-check	Fri May 27 00:24:02 2005 +0200
     1.2 +++ b/Admin/isatest-check	Fri May 27 01:09:44 2005 +0200
     1.3 @@ -6,40 +6,23 @@
     1.4  # DESCRIPTION: sends email for failed tests, checks for error.log,
     1.5  #              generates development snapshot if test ok
     1.6  
     1.7 -# source bashrc, we're called by cron
     1.8 -. ~/.bashrc
     1.9 +## global settings
    1.10 +. ~/admin/isatest-settings
    1.11  
    1.12  # produce empty list for patterns like isatest-*.log if no 
    1.13  # such file exists 
    1.14  shopt -s nullglob
    1.15  
    1.16 -## global settings
    1.17 -
    1.18 -# send mail to:
    1.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"
    1.20 -
    1.21 -ADMIN="berghofe@in.tum.de"
    1.22 -
    1.23 -# canoncical home for all platforms
    1.24 -HOME=/usr/stud/isatest
    1.25 -
    1.26 -# where to find the distribution
    1.27 -export DISTPREFIX=$HOME/tmp/isadist
    1.28 +ADMIN="berghofe@in.tum.de kleing@in.tum.de"
    1.29  
    1.30  # mail program
    1.31  MAIL=$HOME/bin/pmail
    1.32  
    1.33 -# where the logs are
    1.34 -ERRORDIR=$HOME/var
    1.35 -ERRORLOG=$ERRORDIR/error.log
    1.36 -MASTERLOG=$HOME/log/isatest.log
    1.37 -
    1.38 -# where the test-still-running files are
    1.39 -RUNNING=$HOME/var/running
    1.40 -
    1.41  # tmp file for sending mail
    1.42  TMP=/tmp/isatest-makedist.$$
    1.43  
    1.44 +export DISTPREFIX
    1.45 +
    1.46  
    1.47  ## diagnostics
    1.48  
     2.1 --- a/Admin/isatest-makeall	Fri May 27 00:24:02 2005 +0200
     2.2 +++ b/Admin/isatest-makeall	Fri May 27 01:09:44 2005 +0200
     2.3 @@ -6,18 +6,7 @@
     2.4  # DESCRIPTION: Run isatool makeall from specified distribution and settings.
     2.5  
     2.6  ## global settings
     2.7 -
     2.8 -# canoncical home for all platforms 
     2.9 -HOME=/usr/stud/isatest
    2.10 -
    2.11 -# where the log files are
    2.12 -LOGPREFIX=$HOME/log
    2.13 -MASTERLOG=$LOGPREFIX/isatest.log
    2.14 -ERRORDIR=$HOME/var
    2.15 -ERRORLOG=$ERRORDIR/error.log
    2.16 -
    2.17 -# where to put test-is-running files
    2.18 -RUNNING=$HOME/var/running
    2.19 +. ~/admin/isatest-settings
    2.20  
    2.21  # max time until test is aborted (in sec)
    2.22  MAXTIME=28800
    2.23 @@ -48,10 +37,7 @@
    2.24  # argument checking
    2.25  
    2.26  [ "$1" = "-?" ] && usage
    2.27 -[ "$#" -lt "2" ] && usage
    2.28 -
    2.29 -DISTPREFIX=$1
    2.30 -shift
    2.31 +[ "$#" -lt "1" ] && usage
    2.32  
    2.33  [ -d $DISTPREFIX ] || fail "$DISTPREFIX is not a directory."
    2.34  
     3.1 --- a/Admin/isatest-makedist	Fri May 27 00:24:02 2005 +0200
     3.2 +++ b/Admin/isatest-makedist	Fri May 27 01:09:44 2005 +0200
     3.3 @@ -5,24 +5,12 @@
     3.4  #
     3.5  # DESCRIPTION: Build distribution and run isatest-make for lots of platforms.
     3.6  
     3.7 -# source bashrc, we're called by cron
     3.8 -. ~/.bashrc
     3.9 -
    3.10 -# canoncical home for all platforms
    3.11 -HOME=/usr/stud/isatest
    3.12 -
    3.13  ## global settings
    3.14 -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"
    3.15 +. ~/admin/isatest-settings
    3.16  
    3.17  TMP=/tmp/isatest-makedist.$$
    3.18  MAIL=$HOME/bin/pmail
    3.19  
    3.20 -LOGPREFIX=$HOME/log
    3.21 -MASTERLOG=$LOGPREFIX/isatest.log
    3.22 -ERRORDIR=$HOME/var
    3.23 -ERRORLOG=$ERRORDIR/error.log
    3.24 -RUNNING=$HOME/var/running
    3.25 -DISTPREFIX=$HOME/tmp/isadist
    3.26  MAKEDIST=$HOME/bin/makedist
    3.27  MAKEALL=$HOME/bin/isatest-makeall
    3.28  TAR=gtar
    3.29 @@ -96,7 +84,6 @@
    3.30  $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
    3.31  
    3.32  echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    3.33 -gzip -f $DISTLOG
    3.34  
    3.35  ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
    3.36  echo "$(date) $HOSTNAME $PRG: dist build successful, elapsed time $ELAPSED." >> $MASTERLOG
    3.37 @@ -104,17 +91,18 @@
    3.38  
    3.39  ## spawn test runs
    3.40  
    3.41 -$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml-dev"
    3.42 +$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly $HOME/settings/sun-sml-dev"
    3.43  # give test some time to copy settings and start
    3.44  sleep 5
    3.45 -#$SSH sunbroy1 "$MAKEALL $DISTPREFIX $HOME/settings/sun-sml-dev"
    3.46 -#sleep 5
    3.47 -$SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml-dev"
    3.48 -#sleep 5
    3.49 -#$SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-sml-dev"
    3.50 +$SSH atbroy51 "$MAKEALL $HOME/settings/at-poly $HOME/settings/at-sml-dev"
    3.51  # wakeup call for macbroy33
    3.52  wakeonlan -i 131.159.47.255 00:30:65:DA:35:E0 > /dev/null
    3.53  sleep 5
    3.54 -$SSH macbroy33 "$MAKEALL $DISTPREFIX $HOME/settings/mac-poly"
    3.55 +$SSH macbroy33 "$MAKEALL $HOME/settings/mac-poly"
    3.56 +
    3.57 +
    3.58 +echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    3.59 +
    3.60 +gzip -f $DISTLOG
    3.61  
    3.62  ## end
     4.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.2 +++ b/Admin/isatest-settings	Fri May 27 01:09:44 2005 +0200
     4.3 @@ -0,0 +1,23 @@
     4.4 +# $Id$
     4.5 +# Author: Gerwin Klein, NICTA
     4.6 +#
     4.7 +# DESCRIPTION: common settings for the isatest-* scripts
     4.8 +
     4.9 +# source bashrc, we're called by cron
    4.10 +. ~/.bashrc
    4.11 +
    4.12 +# canoncical home for all platforms
    4.13 +HOME=/home/stud/isatest
    4.14 +
    4.15 +## send email on failure to
    4.16 +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"
    4.17 +
    4.18 +LOGPREFIX=$HOME/log
    4.19 +MASTERLOG=$LOGPREFIX/isatest.log
    4.20 +
    4.21 +ERRORDIR=$HOME/var
    4.22 +ERRORLOG=$ERRORDIR/error.log
    4.23 +
    4.24 +RUNNING=$HOME/var/running
    4.25 +
    4.26 +DISTPREFIX=$HOME/tmp/isadist