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 lxbroy2 "$MAKEALL $HOME/settings/at-poly-test" |
101 $SSH lxbroy2 "$MAKEALL $HOME/settings/at-poly; $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 lxbroy3 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e" |
104 $SSH lxbroy3 "$MAKEALL $HOME/settings/at64-poly; $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-e" |
107 sleep 15 |
|
108 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly" |
|
109 sleep 15 |
107 sleep 15 |
110 $SSH macbroy2 " |
108 $SSH macbroy2 " |
111 $MAKEALL -l . full $HOME/settings/mac-poly64-M4; |
109 $MAKEALL -l . full $HOME/settings/mac-poly64-M4; |
112 $MAKEALL -l . full $HOME/settings/mac-poly64-M8; |
110 $MAKEALL -l . full $HOME/settings/mac-poly64-M8; |
113 $MAKEALL $HOME/settings/mac-poly-M4; |
111 $MAKEALL $HOME/settings/mac-poly-M4; |