| changeset 35930 | 7084141f2a93 |
| parent 35398 | aec00d4ec03d |
| child 36074 | 6301046146b6 |
--- a/Admin/isatest/isatest-makedist Tue Mar 23 16:18:44 2010 +0100 +++ b/Admin/isatest/isatest-makedist Tue Mar 23 17:26:41 2010 +0100 @@ -96,7 +96,7 @@ sleep 15 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly" sleep 15 -$SSH macbroy23 "$MAKEALL -l HOL HOL-ex $HOME/settings/at-sml-dev-e" +$SSH macbroy23 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" sleep 15 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly" sleep 15