10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# Copyright (c) P.J.Gawthrop, 1996
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
# 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
fi
|
>
>
>
>
|
|
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
|
# 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
fi
|