| changeset 45149 | 22ff7e226946 |
| parent 44978 | a04f3eb3943c |
| child 45913 | 7f7c3922c636 |
--- a/Admin/isatest/isatest-makedist Sat Oct 15 16:58:37 2011 +0200 +++ b/Admin/isatest/isatest-makedist Sat Oct 15 17:00:17 2011 +0200 @@ -101,7 +101,7 @@ $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test" # give test some time to copy settings and start sleep 15 -$SSH macbroy28 "$MAKEALL $HOME/settings/at-poly" +$SSH macbroy28 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e" sleep 15 $SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" sleep 15