changeset 35398 | aec00d4ec03d |
parent 35245 | 9271d1fc259a |
child 35930 | 7084141f2a93 |
--- a/Admin/isatest/isatest-makedist Sat Feb 27 13:32:55 2010 +0100 +++ b/Admin/isatest/isatest-makedist Sat Feb 27 13:55:03 2010 +0100 @@ -91,8 +91,10 @@ ## spawn test runs +$SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test" +# give test some time to copy settings and start +sleep 15 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly" -# give test some time to copy settings and start sleep 15 $SSH macbroy23 "$MAKEALL -l HOL HOL-ex $HOME/settings/at-sml-dev-e" sleep 15