# Copyright (c) P.J.Gawthrop, 1996

###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.3  1998/02/25 21:35:00  peterg
## Put "" round if argument in case $err_length is null.
##
## Revision 1.2  1996/08/26 09:46:37  peterg
## Changed $() to ``
##
# Revision 1.1  1996/08/25  09:20:00  peter
# Initial revision
#
###############################################################

error_file=$1;

# Test for errors and print if any
err_length=`wc -c <$error_file`
err_length=`wc -c <$error_file | awk '{print $1}'`

if [ "$err_length" != "0" ]
then
  echo MTT has failed with the following errors '...'
  cat $error_file
  exit 1
else
  exit 0