| changeset 31385 | bc1f918ccf68 |
| parent 28931 | 498b63ba782c |
| child 31581 | 907616b9536c |
--- a/Admin/isatest/isatest-makedist Tue Jun 02 23:30:45 2009 +0200 +++ b/Admin/isatest/isatest-makedist Wed Jun 03 07:51:11 2009 +1000 @@ -105,7 +105,7 @@ #sleep 15 $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para" sleep 15 -$SSH macbroy23 "$MAKEALL -l HOL $HOME/settings/at-sml-dev-e" +$SSH macbroy23 "$MAKEALL $HOME/settings/at-sml-dev-e" sleep 15 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly" sleep 15