# HG changeset patch
# User wenzelm
# Date 1340811406 -7200
# Node ID ac561771abdbf707809a1bf5b8270fdacde6ebb4
# Parent  0b3fd5ff8ea7b5dbf2841173d59adb2a104fed56# Parent  68a32e12b999fa51e36d9161720450772e9f7473
merged

diff -r 0b3fd5ff8ea7 -r ac561771abdb Admin/isatest/crontab.lxbroy2
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/isatest/crontab.lxbroy2	Wed Jun 27 17:36:46 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 0b3fd5ff8ea7 -r ac561771abdb Admin/isatest/crontab.macbroy27
--- a/Admin/isatest/crontab.macbroy27	Wed Jun 27 17:23:18 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 0b3fd5ff8ea7 -r ac561771abdb Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Wed Jun 27 17:23:18 2012 +0200
+++ b/Admin/isatest/isatest-makeall	Wed Jun 27 17:36:46 2012 +0200
@@ -99,6 +99,11 @@
         NICE=""
         ;;
 
+    lxbroy[234])
+        MFLAGS="-k -j 2"
+        NICE=""
+        ;;
+
     *)
         MFLAGS="-k"
         # be nice by default
diff -r 0b3fd5ff8ea7 -r ac561771abdb Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Jun 27 17:23:18 2012 +0200
+++ b/Admin/isatest/isatest-makedist	Wed Jun 27 17:36:46 2012 +0200
@@ -98,12 +98,12 @@
 
 ## spawn test runs
 
-$SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
+$SSH lxbroy2 "$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 lxbroy3 "$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 0b3fd5ff8ea7 -r ac561771abdb Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Wed Jun 27 17:23:18 2012 +0200
+++ b/Admin/isatest/isatest-settings	Wed Jun 27 17:36:46 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