moved crontab to lxbroy2, one of the newer server machines;
authorwenzelm
Wed Jun 27 17:33:49 2012 +0200 (2012-06-27)
changeset 48157303a7384cffd
parent 48156 39ba7244544c
child 48158 68a32e12b999
moved crontab to lxbroy2, one of the newer server machines;
avoid macbroy27 for now due to spurious NFS issues;
Admin/isatest/crontab.lxbroy2
Admin/isatest/crontab.macbroy27
Admin/isatest/isatest-makedist
Admin/isatest/isatest-settings
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/isatest/crontab.lxbroy2	Wed Jun 27 17:33:49 2012 +0200
     1.3 @@ -0,0 +1,8 @@
     1.4 +03 00 * * *                  $HOME/bin/checkout-admin
     1.5 +17 00 * * *                  $HOME/bin/isatest-makedist
     1.6 +01 08 * * *                  $HOME/bin/isatest-check
     1.7 +17 08 * * *                  $HOME/bin/isatest-doc
     1.8 +
     1.9 +04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
    1.10 +04 23 30 4,6,9,11 *          $HOME/bin/logmove
    1.11 +04 23 28 2 *                 $HOME/bin/logmove
     2.1 --- a/Admin/isatest/crontab.macbroy27	Wed Jun 27 13:56:34 2012 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,8 +0,0 @@
     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 -17 08 * * *                  $HOME/bin/isatest-doc
     2.8 -
     2.9 -04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
    2.10 -04 23 30 4,6,9,11 *          $HOME/bin/logmove
    2.11 -04 23 28 2 *                 $HOME/bin/logmove
     3.1 --- a/Admin/isatest/isatest-makedist	Wed Jun 27 13:56:34 2012 +0200
     3.2 +++ b/Admin/isatest/isatest-makedist	Wed Jun 27 17:33:49 2012 +0200
     3.3 @@ -101,9 +101,9 @@
     3.4  $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
     3.5  # give test some time to copy settings and start
     3.6  sleep 15
     3.7 -$SSH macbroy27 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
     3.8 +$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
     3.9  sleep 15
    3.10 -$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
    3.11 +$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
    3.12  sleep 15
    3.13  $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
    3.14  sleep 15
     4.1 --- a/Admin/isatest/isatest-settings	Wed Jun 27 13:56:34 2012 +0200
     4.2 +++ b/Admin/isatest/isatest-settings	Wed Jun 27 17:33:49 2012 +0200
     4.3 @@ -28,7 +28,7 @@
     4.4  
     4.5  LOGPREFIX=$HOME/log
     4.6  MASTERLOG=$LOGPREFIX/isatest.log
     4.7 -LOGSERVER=macbroy27.informatik.tu-muenchen.de
     4.8 +LOGSERVER=lxbroy2.informatik.tu-muenchen.de
     4.9  
    4.10  ERRORDIR=$HOME/var
    4.11  ERRORLOG=$ERRORDIR/error.log