changeset 62354 | fdd6989cc8a0 |
parent 61927 | f69fb37dc769 |
child 62455 | 2026ef279d1e |
--- a/Admin/isatest/isatest-makedist Wed Feb 17 21:08:18 2016 +0100 +++ b/Admin/isatest/isatest-makedist Wed Feb 17 23:06:24 2016 +0100 @@ -102,8 +102,6 @@ $SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly" sleep 15 -$SSH lxbroy3 "$MAKEALL -l HOL-Unix $HOME/settings/at-sml-dev-e" -sleep 15 $SSH lxbroy4 " $MAKEALL -l HOL-Library $HOME/settings/at-poly; $MAKEALL -l HOL-Library $HOME/settings/at-poly-e;