Admin/isatest/isatest-makeall
changeset 28539 bdb308737bfd
parent 28527 82b36daff4c1
child 28597 e76e7b96a517
equal deleted inserted replaced
28538:3147236326ea 28539:bdb308737bfd
    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