changeset 34210 | f040cd999794 |
parent 33760 | 982661194362 |
child 35162 | ea99593b44a5 |
--- a/Admin/isatest/isatest-makedist Wed Dec 30 10:24:53 2009 +0100 +++ b/Admin/isatest/isatest-makedist Wed Dec 30 13:05:00 2009 +0100 @@ -102,7 +102,7 @@ #sleep 15 $SSH macbroy21 "$MAKEALL $HOME/settings/at64-poly-5.1-para" sleep 15 -$SSH macbroy23 "$MAKEALL -l HOL images $HOME/settings/at-sml-dev-e" +$SSH macbroy23 "$MAKEALL -l HOL HOL-ex $HOME/settings/at-sml-dev-e" sleep 15 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly" sleep 15