# HG changeset patch
# User wenzelm
# Date 1341682919 -7200
# Node ID 67f13db5d273374b2a3281dd2003e54d7c62a5d1
# Parent  bde354773a56f5e3659a2e72f7bf1461934e303f
prefer lxbroy[23] as standard test machines;

diff -r bde354773a56 -r 67f13db5d273 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Sat Jul 07 19:36:50 2012 +0200
+++ b/Admin/isatest/isatest-makedist	Sat Jul 07 19:41:59 2012 +0200
@@ -98,14 +98,12 @@
 
 ## spawn test runs
 
-$SSH lxbroy2 "$MAKEALL $HOME/settings/at-poly-test"
+$SSH lxbroy2 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-test"
 # give test some time to copy settings and start
 sleep 15
-$SSH lxbroy3 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH lxbroy3 "$MAKEALL $HOME/settings/at64-poly; $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
-$SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
+$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly-e"
 sleep 15
 $SSH macbroy2 "
   $MAKEALL -l . full $HOME/settings/mac-poly64-M4;