more tests on lxbroy[234], which are 4 core Xeon machines;

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

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