use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
authorkleing
Tue May 06 09:23:13 2003 +0200 (2003-05-06)
changeset 13962908f6776a59b
parent 13961 233dd3bb2390
child 13963 ba7aa8c426ad
use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
Admin/isatest-makeall
Admin/isatest-makedist
     1.1 --- a/Admin/isatest-makeall	Mon May 05 18:36:00 2003 +0200
     1.2 +++ b/Admin/isatest-makeall	Tue May 06 09:23:13 2003 +0200
     1.3 @@ -7,16 +7,19 @@
     1.4  # DESCRIPTION: Run isatool makeall from specified distribution and settings.
     1.5  #              Send email if it fails.
     1.6  
     1.7 +# canoncical home for all platforms
     1.8 +HOME=/usr/stud/isatest
     1.9 +
    1.10  ## global settings
    1.11  MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
    1.12  
    1.13 -LOGPREFIX=~/log
    1.14 +LOGPREFIX=$HOME/log
    1.15  
    1.16  MASTERLOG=$LOGPREFIX/isatest.log
    1.17  
    1.18  TMP=/tmp/isatest-makeall.$$
    1.19  
    1.20 -MAIL=~/bin/pmail
    1.21 +MAIL=$HOME/bin/pmail
    1.22  
    1.23  ## diagnostics
    1.24  
    1.25 @@ -107,7 +110,7 @@
    1.26      then
    1.27          echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
    1.28          gzip -f $TESTLOG
    1.29 -	rm -rf ~/isabelle-$SHORT
    1.30 +	rm -rf $HOME/isabelle-$SHORT
    1.31      else
    1.32          echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
    1.33  	FAIL="$FAIL$SHORT "
     2.1 --- a/Admin/isatest-makedist	Mon May 05 18:36:00 2003 +0200
     2.2 +++ b/Admin/isatest-makedist	Tue May 06 09:23:13 2003 +0200
     2.3 @@ -9,18 +9,20 @@
     2.4  # source bashrc, we're called by cron
     2.5  . ~/.bashrc
     2.6  
     2.7 +# canoncical home for all platforms
     2.8 +HOME=/usr/stud/isatest
     2.9  
    2.10  ## global settings
    2.11  MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
    2.12  
    2.13  TMP=/tmp/isatest-makedist.$$
    2.14 -MAIL=~/bin/pmail
    2.15 +MAIL=$HOME/bin/pmail
    2.16  
    2.17 -LOGPREFIX=~/log
    2.18 +LOGPREFIX=$HOME/log
    2.19  MASTERLOG=$LOGPREFIX/isatest.log
    2.20 -DISTPREFIX=~/isadist
    2.21 -MAKEDIST=~/bin/makedist
    2.22 -MAKEALL=~/bin/isatest-makeall
    2.23 +DISTPREFIX=$HOME/isadist
    2.24 +MAKEDIST=$HOME/bin/makedist
    2.25 +MAKEALL=$HOME/bin/isatest-makeall
    2.26  TAR=gtar
    2.27  
    2.28  SSH="ssh -f"
    2.29 @@ -58,7 +60,7 @@
    2.30  rm -rf $DISTPREFIX >> $DISTLOG 2>&1
    2.31  
    2.32  echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
    2.33 -rm -rf ~/isabelle-*
    2.34 +rm -rf $HOME/isabelle-*
    2.35  
    2.36  echo "### building distribution"  >> $DISTLOG 2>&1
    2.37  $MAKEDIST - >> $DISTLOG 2>&1
    2.38 @@ -85,7 +87,7 @@
    2.39  $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
    2.40  
    2.41  echo "### generating development snapshot web page" >> $DISTLOG 2>&1
    2.42 -(cd ~/devel-page; make)
    2.43 +(cd $HOME/devel-page; make)
    2.44  
    2.45  echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    2.46  gzip -f $DISTLOG
    2.47 @@ -96,8 +98,8 @@
    2.48  
    2.49  ## spawn test runs
    2.50  
    2.51 -$SSH sunbroy2 "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
    2.52 -$SSH atbroy51 "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
    2.53 -$SSH macbroy33 "$MAKEALL $DISTPREFIX ~/settings/mac-poly"
    2.54 +$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml"
    2.55 +$SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml"
    2.56 +$SSH macbroy33 "$MAKEALL $DISTPREFIX $HOME/settings/mac-poly"
    2.57  
    2.58  ## end