# HG changeset patch
# User wenzelm
# Date 1437480426 -7200
# Node ID b8170925c848a4dd3483aba4ea6ce939ada78c01
# Parent  bf0c76ccee8d579013a94c5ef88b8dd225155245
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;

diff -r bf0c76ccee8d -r b8170925c848 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Mon Jul 20 23:12:50 2015 +0100
+++ b/Admin/Release/CHECKLIST	Tue Jul 21 14:07:06 2015 +0200
@@ -83,8 +83,8 @@
   default = http://bitbucket.org/isabelle_project/isabelle-release
   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
 
-- isatest@lxbroy2:hg-isabelle/.hg/hgrc
-- isatest@lxbroy2:devel-page/content/index.content
+- isatest@lxbroy10:hg-isabelle/.hg/hgrc
+- isatest@lxbroy10:devel-page/content/index.content
 
 
 Post-release
diff -r bf0c76ccee8d -r b8170925c848 Admin/isatest/crontab.lxbroy10
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/isatest/crontab.lxbroy10	Tue Jul 21 14:07:06 2015 +0200
@@ -0,0 +1,7 @@
+03 00 * * *                  $HOME/bin/checkout-admin
+17 00 * * *                  $HOME/bin/isatest-makedist
+01 08 * * *                  $HOME/bin/isatest-check
+
+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 bf0c76ccee8d -r b8170925c848 Admin/isatest/crontab.lxbroy3
--- a/Admin/isatest/crontab.lxbroy3	Mon Jul 20 23:12:50 2015 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-03 00 * * *                  $HOME/bin/checkout-admin
-17 00 * * *                  $HOME/bin/isatest-makedist
-01 08 * * *                  $HOME/bin/isatest-check
-
-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 bf0c76ccee8d -r b8170925c848 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Mon Jul 20 23:12:50 2015 +0100
+++ b/Admin/isatest/isatest-makedist	Tue Jul 21 14:07:06 2015 +0200
@@ -100,15 +100,15 @@
 
 ## spawn test runs
 
-$SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly"
+$SSH lxbroy10 "
+  $MAKEALL -x HOL-Proofs $HOME/settings/at64-poly;
+  $MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH lxbroy4 "
   $MAKEALL -l HOL-Library $HOME/settings/at-poly;
   $MAKEALL -l HOL-Library $HOME/settings/at-poly-e;
   $MAKEALL $HOME/settings/at-poly-test"
 sleep 15
-$SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
-sleep 15
 $SSH macbroy2 "
   $MAKEALL $HOME/settings/mac-poly64-M4;
   $MAKEALL $HOME/settings/mac-poly64-M8;
diff -r bf0c76ccee8d -r b8170925c848 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Mon Jul 20 23:12:50 2015 +0100
+++ b/Admin/isatest/isatest-settings	Tue Jul 21 14:07:06 2015 +0200
@@ -29,7 +29,7 @@
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
-LOGSERVER=lxbroy2.informatik.tu-muenchen.de
+LOGSERVER=lxbroy10.informatik.tu-muenchen.de
 
 ERRORDIR=$HOME/var
 ERRORLOG=$ERRORDIR/error.log