| changeset 27489 | 16570181ca44 |
| parent 27488 | 9771f949bd84 |
| child 27539 | 115d3a8bc6a6 |
--- a/Admin/isatest/isatest-makedist Mon Jul 07 23:37:33 2008 +0200 +++ b/Admin/isatest/isatest-makedist Tue Jul 08 13:45:27 2008 +0200 @@ -101,7 +101,7 @@ sleep 5 $SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-5.1-para-e" sleep 5 -$SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p" +$SSH macbroy24 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p" sleep 5 $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para" sleep 5