# HG changeset patch
# User wenzelm
# Date 1340811384 -7200
# Node ID 68a32e12b999fa51e36d9161720450772e9f7473
# Parent  303a7384cffd87610542e1e7939d2394e2ba3c59
more tests on lxbroy[234], which are 4 core Xeon machines;

diff -r 303a7384cffd -r 68a32e12b999 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Wed Jun 27 17:33:49 2012 +0200
+++ b/Admin/isatest/isatest-makeall	Wed Jun 27 17:36:24 2012 +0200
@@ -99,6 +99,11 @@
         NICE=""
         ;;
 
+    lxbroy[234])
+        MFLAGS="-k -j 2"
+        NICE=""
+        ;;
+
     *)
         MFLAGS="-k"
         # be nice by default
diff -r 303a7384cffd -r 68a32e12b999 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Jun 27 17:33:49 2012 +0200
+++ b/Admin/isatest/isatest-makedist	Wed Jun 27 17:36:24 2012 +0200
@@ -98,10 +98,10 @@
 
 ## 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 macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH lxbroy3 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH macbroy23 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
 sleep 15