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
39
|
# 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
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
38
39
40
41
42
43
44
|
# Copyright (c) P.J.Gawthrop, 1996
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.4 1998/02/26 10:21:51 peterg
## Revised to take account of new (??) wc output - now echos the file
## name (??)
##
## 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 An MTT transformation has generated the following messages
echo which may not be important
cat $error_file
exit 1
else
exit 0
fi
|