| changeset 61927 | f69fb37dc769 |
| parent 61744 | aa10f3f30f6f |
| child 62354 | fdd6989cc8a0 |
--- a/Admin/isatest/isatest-makedist Wed Dec 23 23:13:16 2015 +0100 +++ b/Admin/isatest/isatest-makedist Wed Dec 23 23:15:42 2015 +0100 @@ -102,7 +102,7 @@ $SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly" sleep 15 -$SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e" +$SSH lxbroy3 "$MAKEALL -l HOL-Unix $HOME/settings/at-sml-dev-e" sleep 15 $SSH lxbroy4 " $MAKEALL -l HOL-Library $HOME/settings/at-poly;