equal
deleted
inserted
replaced
98 mkdir -p $RUNNING |
98 mkdir -p $RUNNING |
99 |
99 |
100 |
100 |
101 ## spawn test runs |
101 ## spawn test runs |
102 |
102 |
103 $SSH lxbroy10 " |
103 $SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly" |
104 $MAKEALL -x HOL-Proofs $HOME/settings/at64-poly & |
104 sleep 15 |
105 $MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e" |
105 $SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e" |
106 sleep 15 |
106 sleep 15 |
107 $SSH lxbroy4 " |
107 $SSH lxbroy4 " |
108 $MAKEALL -l HOL-Library $HOME/settings/at-poly; |
108 $MAKEALL -l HOL-Library $HOME/settings/at-poly; |
109 $MAKEALL -l HOL-Library $HOME/settings/at-poly-e; |
109 $MAKEALL -l HOL-Library $HOME/settings/at-poly-e; |
110 $MAKEALL $HOME/settings/at-poly-test" |
110 $MAKEALL $HOME/settings/at-poly-test" |