equal
deleted
inserted
replaced
30 } |
30 } |
31 |
31 |
32 function fail() |
32 function fail() |
33 { |
33 { |
34 echo "$1" >&2 |
34 echo "$1" >&2 |
35 echo "$(date) $HOSTNAME $PRG: FAILED, $1" >> $MASTERLOG |
35 log "FAILED, $1" |
36 exit 2 |
36 exit 2 |
37 } |
37 } |
38 |
38 |
39 ## main |
39 ## main |
40 |
40 |
158 |
158 |
159 # time and success/failure to master log |
159 # time and success/failure to master log |
160 ELAPSED=$("$HOME/bin/showtime" "$SECONDS") |
160 ELAPSED=$("$HOME/bin/showtime" "$SECONDS") |
161 |
161 |
162 if [ -z "$FAIL" ]; then |
162 if [ -z "$FAIL" ]; then |
163 echo "$(date) $HOSTNAME $PRG: all tests successful, elapsed time $ELAPSED." >> $MASTERLOG |
163 log "all tests successful, elapsed time $ELAPSED." |
164 else |
164 else |
165 echo "$(date) $HOSTNAME $PRG: targets ${FAIL}FAILED, elapsed time $ELAPSED." >> $MASTERLOG |
165 log "targets ${FAIL}FAILED, elapsed time $ELAPSED." |
166 exit 1 |
166 exit 1 |
167 fi |
167 fi |
168 |
168 |
169 # end |
169 # end |