equal
deleted
inserted
replaced
95 ## spawn test runs |
95 ## spawn test runs |
96 |
96 |
97 $SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly" |
97 $SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly" |
98 # give test some time to copy settings and start |
98 # give test some time to copy settings and start |
99 sleep 5 |
99 sleep 5 |
100 $SSH atbroy51 "$MAKEALL $HOME/settings/at-poly $HOME/settings/at-poly-e" |
100 $SSH atbroy51 "$MAKEALL $HOME/settings/at-poly" |
101 sleep 5 |
101 sleep 5 |
102 $SSH atbroy9 "$MAKEALL $HOME/settings/at-poly-5.1-para-e" |
102 $SSH atbroy9 "$MAKEALL $HOME/settings/at-poly-5.1-para-e" |
103 sleep 5 |
103 sleep 5 |
104 $SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p" |
104 $SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p" |
105 sleep 5 |
105 sleep 5 |
106 $SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para-e" |
106 $SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para" |
107 sleep 5 |
107 sleep 5 |
108 $SSH atbroy98 "$MAKEALL $HOME/settings/at-sml-dev" |
108 $SSH atbroy98 "$MAKEALL $HOME/settings/at-sml-dev" |
109 sleep 5 |
109 sleep 5 |
110 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly-e" |
110 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly" |
111 sleep 5 |
111 sleep 5 |
112 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev" |
112 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev" |
113 sleep 5 |
113 sleep 5 |
114 $SSH macbroy6 "/usr/stud/isatest/bin/isatest-makeall $HOME/settings/at-mac-poly-5.1-para-e" |
114 $SSH macbroy6 "/usr/stud/isatest/bin/isatest-makeall $HOME/settings/at-mac-poly-5.1-para" |
115 sleep 5 |
115 sleep 5 |
116 $SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly" |
116 $SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly" |
117 |
117 |
118 echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
118 echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
119 |
119 |