changeset 37874 | 954dc0c580bd |
parent 37160 | d92638c7c38f |
child 40739 | 9c84b562620d |
--- a/Admin/isatest/isatest-makedist Wed Jul 21 16:14:16 2010 +0200 +++ b/Admin/isatest/isatest-makedist Wed Jul 21 16:29:20 2010 +0200 @@ -100,7 +100,7 @@ sleep 15 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly" sleep 15 -$SSH macbroy23 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" +$SSH macbroy28 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" sleep 15 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly" sleep 15