avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
authorwenzelm
Tue Jul 21 14:07:06 2015 +0200 (2015-07-21)
changeset 60763b8170925c848
parent 60762 bf0c76ccee8d
child 60764 b610ba36e02c
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
Admin/Release/CHECKLIST
Admin/isatest/crontab.lxbroy10
Admin/isatest/crontab.lxbroy3
Admin/isatest/isatest-makedist
Admin/isatest/isatest-settings
     1.1 --- a/Admin/Release/CHECKLIST	Mon Jul 20 23:12:50 2015 +0100
     1.2 +++ b/Admin/Release/CHECKLIST	Tue Jul 21 14:07:06 2015 +0200
     1.3 @@ -83,8 +83,8 @@
     1.4    default = http://bitbucket.org/isabelle_project/isabelle-release
     1.5    default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
     1.6  
     1.7 -- isatest@lxbroy2:hg-isabelle/.hg/hgrc
     1.8 -- isatest@lxbroy2:devel-page/content/index.content
     1.9 +- isatest@lxbroy10:hg-isabelle/.hg/hgrc
    1.10 +- isatest@lxbroy10:devel-page/content/index.content
    1.11  
    1.12  
    1.13  Post-release
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/isatest/crontab.lxbroy10	Tue Jul 21 14:07:06 2015 +0200
     2.3 @@ -0,0 +1,7 @@
     2.4 +03 00 * * *                  $HOME/bin/checkout-admin
     2.5 +17 00 * * *                  $HOME/bin/isatest-makedist
     2.6 +01 08 * * *                  $HOME/bin/isatest-check
     2.7 +
     2.8 +04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
     2.9 +04 23 30 4,6,9,11 *          $HOME/bin/logmove
    2.10 +04 23 28 2 *                 $HOME/bin/logmove
     3.1 --- a/Admin/isatest/crontab.lxbroy3	Mon Jul 20 23:12:50 2015 +0100
     3.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.3 @@ -1,7 +0,0 @@
     3.4 -03 00 * * *                  $HOME/bin/checkout-admin
     3.5 -17 00 * * *                  $HOME/bin/isatest-makedist
     3.6 -01 08 * * *                  $HOME/bin/isatest-check
     3.7 -
     3.8 -04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
     3.9 -04 23 30 4,6,9,11 *          $HOME/bin/logmove
    3.10 -04 23 28 2 *                 $HOME/bin/logmove
     4.1 --- a/Admin/isatest/isatest-makedist	Mon Jul 20 23:12:50 2015 +0100
     4.2 +++ b/Admin/isatest/isatest-makedist	Tue Jul 21 14:07:06 2015 +0200
     4.3 @@ -100,15 +100,15 @@
     4.4  
     4.5  ## spawn test runs
     4.6  
     4.7 -$SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly"
     4.8 +$SSH lxbroy10 "
     4.9 +  $MAKEALL -x HOL-Proofs $HOME/settings/at64-poly;
    4.10 +  $MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
    4.11  sleep 15
    4.12  $SSH lxbroy4 "
    4.13    $MAKEALL -l HOL-Library $HOME/settings/at-poly;
    4.14    $MAKEALL -l HOL-Library $HOME/settings/at-poly-e;
    4.15    $MAKEALL $HOME/settings/at-poly-test"
    4.16  sleep 15
    4.17 -$SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
    4.18 -sleep 15
    4.19  $SSH macbroy2 "
    4.20    $MAKEALL $HOME/settings/mac-poly64-M4;
    4.21    $MAKEALL $HOME/settings/mac-poly64-M8;
     5.1 --- a/Admin/isatest/isatest-settings	Mon Jul 20 23:12:50 2015 +0100
     5.2 +++ b/Admin/isatest/isatest-settings	Tue Jul 21 14:07:06 2015 +0200
     5.3 @@ -29,7 +29,7 @@
     5.4  
     5.5  LOGPREFIX=$HOME/log
     5.6  MASTERLOG=$LOGPREFIX/isatest.log
     5.7 -LOGSERVER=lxbroy2.informatik.tu-muenchen.de
     5.8 +LOGSERVER=lxbroy10.informatik.tu-muenchen.de
     5.9  
    5.10  ERRORDIR=$HOME/var
    5.11  ERRORLOG=$ERRORDIR/error.log