equal
deleted
inserted
replaced
87 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
87 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
88 |
88 |
89 ELAPSED=$("$HOME/bin/showtime" "$SECONDS") |
89 ELAPSED=$("$HOME/bin/showtime" "$SECONDS") |
90 echo "$(date) $HOSTNAME $PRG: dist build successful, elapsed time $ELAPSED." >> $MASTERLOG |
90 echo "$(date) $HOSTNAME $PRG: dist build successful, elapsed time $ELAPSED." >> $MASTERLOG |
91 |
91 |
|
92 ## clean up var/running |
|
93 rm -f $RUNNING/* |
92 |
94 |
93 ## spawn test runs |
95 ## spawn test runs |
94 |
96 |
95 $SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly" |
97 $SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly" |
96 # give test some time to copy settings and start |
98 # give test some time to copy settings and start |