10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# Copyright (c) P.J.Gawthrop, 1996
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## 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`
if [ "$err_length" != "0" ]
then
echo MTT has failed with the following errors '...'
cat $error_file
exit 1
else
exit 0
|
>
>
>
|
<
|
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
# 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 | awk '{print $1}'`
if [ "$err_length" != "0" ]
then
echo MTT has failed with the following errors '...'
cat $error_file
exit 1
else
exit 0
|