equal
deleted
inserted
replaced
96 ## clean up var/running |
96 ## clean up var/running |
97 rm -f $RUNNING/* |
97 rm -f $RUNNING/* |
98 |
98 |
99 ## spawn test runs |
99 ## spawn test runs |
100 |
100 |
101 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test" |
101 $SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-test" |
102 # give test some time to copy settings and start |
102 # give test some time to copy settings and start |
103 sleep 15 |
103 sleep 15 |
104 $SSH macbroy28 "$MAKEALL $HOME/settings/at-poly" |
104 $SSH macbroy28 "$MAKEALL $HOME/settings/at-poly" |
105 sleep 15 |
105 sleep 15 |
106 $SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" |
106 $SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" |