blob: 813796d9dde7a5381c210be28443776c043a87a0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
while [ $# -gt 0 ]; do
elffile="$1"
if [ ! -f $elffile ]; then
>&2 echo "ERROR: $elffile not found"
shift; continue
fi
dir="$(dirname $elffile)"
elf="$(basename $elffile)"
exp="$dir/output/$elf.exp"
out="$dir/output/$elf.out"
if [ ! -f $exp ]; then
>&2 echo "ERROR: $exp not found"
shift; continue
fi
k1-cluster -- $elffile > $out
echo $? >> $out
if ! diff $exp $out; then
>&2 echo "ERROR: $exp and $out differ"
shift; continue
fi
echo "PASSED: $elf"
shift
done
|