equal
deleted
inserted
replaced
102 echo "$(date) $HOSTNAME $PRG: dist build successful, elapsed time $ELAPSED." >> $MASTERLOG |
102 echo "$(date) $HOSTNAME $PRG: dist build successful, elapsed time $ELAPSED." >> $MASTERLOG |
103 |
103 |
104 |
104 |
105 ## spawn test runs |
105 ## spawn test runs |
106 |
106 |
107 $SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml $HOME/settings/sun-sml-dev" |
107 $SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml-dev" |
108 # give test some time to copy settings and start |
108 # give test some time to copy settings and start |
109 sleep 5 |
109 sleep 5 |
110 $SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml" |
110 $SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml" |
111 # wakeup call for macbroy33 |
111 # wakeup call for macbroy33 |
112 wakeonlan -i 131.159.47.255 00:30:65:DA:35:E0 > /dev/null |
112 wakeonlan -i 131.159.47.255 00:30:65:DA:35:E0 > /dev/null |