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