[go: up one dir, main page]

Menu

[c25d58]: / tests / showerror.sh  Maximize  Restore  History

Download this file

25 lines (20 with data), 650 Bytes

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#!/bin/sh
# output the names of the files that cause jlint to crash
DIR=`dirname $0`
RETURN="0"
# find all errfiles and assign to $OUTS
OUTS=`find $DIR/log -name '*.errfiles'`
for FILE in $OUTS
do
if [ -s $FILE ]
# if file is not of zero size
then
RETURN="1"
ERR=`echo $FILE | sed 's,.errfiles$,.err,'`
TEST=`basename $FILE | sed -e 's,.errfiles,,'`
echo "for filenames of files that caused an error in test$TEST look in: $FILE" >>ERRFILE
echo "for error types look in : $ERR" >>ERRFILE
echo "##############################################################" >> ERRFILE
fi
done #for
exit $RETURN