# HG changeset patch
# User wenzelm
# Date 1445116048 -7200
# Node ID 282f69026f91f96254224a861df9c3bf78c24305
# Parent  9a468c3a1fa10415248fc55c9fc9efdb441029f8
back to lxbroy3, which appears to be free at the moment;

diff -r 9a468c3a1fa1 -r 282f69026f91 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Sat Oct 17 22:31:21 2015 +0200
+++ b/Admin/isatest/isatest-makedist	Sat Oct 17 23:07:28 2015 +0200
@@ -100,9 +100,9 @@
 
 ## spawn test runs
 
-$SSH lxbroy10 "
-  $MAKEALL -x HOL-Proofs $HOME/settings/at64-poly &
-  $MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly"
+sleep 15
+$SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH lxbroy4 "
   $MAKEALL -l HOL-Library $HOME/settings/at-poly;