--- /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
--- 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
--- 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
--- 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
--- 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