# HG changeset patch
# User wenzelm
# Date 1340811229 -7200
# Node ID 303a7384cffd87610542e1e7939d2394e2ba3c59
# Parent  39ba7244544cb7730747496332759bdca3126cfb
moved crontab to lxbroy2, one of the newer server machines;
avoid macbroy27 for now due to spurious NFS issues;

diff -r 39ba7244544c -r 303a7384cffd Admin/isatest/crontab.lxbroy2
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/isatest/crontab.lxbroy2	Wed Jun 27 17:33:49 2012 +0200
@@ -0,0 +1,8 @@
+03 00 * * *                  $HOME/bin/checkout-admin
+17 00 * * *                  $HOME/bin/isatest-makedist
+01 08 * * *                  $HOME/bin/isatest-check
+17 08 * * *                  $HOME/bin/isatest-doc
+
+04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
+04 23 30 4,6,9,11 *          $HOME/bin/logmove
+04 23 28 2 *                 $HOME/bin/logmove
diff -r 39ba7244544c -r 303a7384cffd Admin/isatest/crontab.macbroy27
--- a/Admin/isatest/crontab.macbroy27	Wed Jun 27 13:56:34 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-03 00 * * *                  $HOME/bin/checkout-admin
-17 00 * * *                  $HOME/bin/isatest-makedist
-01 08 * * *                  $HOME/bin/isatest-check
-17 08 * * *                  $HOME/bin/isatest-doc
-
-04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
-04 23 30 4,6,9,11 *          $HOME/bin/logmove
-04 23 28 2 *                 $HOME/bin/logmove
diff -r 39ba7244544c -r 303a7384cffd Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Jun 27 13:56:34 2012 +0200
+++ b/Admin/isatest/isatest-makedist	Wed Jun 27 17:33:49 2012 +0200
@@ -101,9 +101,9 @@
 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
 # give test some time to copy settings and start
 sleep 15
-$SSH macbroy27 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
+$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
-$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
 sleep 15
 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15
diff -r 39ba7244544c -r 303a7384cffd Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Wed Jun 27 13:56:34 2012 +0200
+++ b/Admin/isatest/isatest-settings	Wed Jun 27 17:33:49 2012 +0200
@@ -28,7 +28,7 @@
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
-LOGSERVER=macbroy27.informatik.tu-muenchen.de
+LOGSERVER=lxbroy2.informatik.tu-muenchen.de
 
 ERRORDIR=$HOME/var
 ERRORLOG=$ERRORDIR/error.log