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 lxbroy2 "$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 macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" |
104 $SSH lxbroy3 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" |
105 sleep 15 |
105 sleep 15 |
106 $SSH macbroy23 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e" |
106 $SSH macbroy23 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e" |
107 sleep 15 |
107 sleep 15 |
108 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly" |
108 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly" |
109 sleep 15 |
109 sleep 15 |