|
a/tests/shared.sh |
|
b/tests/shared.sh |
|
... |
|
... |
| 14 |
mystdout=$toptmp/${myname}.out
|
14 |
mystdout=$toptmp/${myname}.out
|
| 15 |
mydiffs=$toptmp/${myname}.diffs
|
15 |
mydiffs=$toptmp/${myname}.diffs
|
| 16 |
}
|
16 |
}
|
| 17 |
|
17 |
|
| 18 |
fatal () {
|
18 |
fatal () {
|
|
|
19 |
set -f
|
|
|
20 |
echo
|
| 19 |
echo $*
|
21 |
echo $*
|
| 20 |
exit 1
|
22 |
exit 1
|
| 21 |
}
|
23 |
}
|
| 22 |
|
24 |
|
| 23 |
checkresult() {
|
25 |
checkresult() {
|
| 24 |
if test -s "$mydiffs" ; then
|
26 |
if test -s "$mydiffs" ; then
|
| 25 |
fatal $myname FAILED
|
27 |
fatal '*** ' $myname FAILED
|
| 26 |
else
|
28 |
else
|
| 27 |
rm -f $mydiffs
|
29 |
rm -f $mydiffs
|
| 28 |
exit 0
|
30 |
exit 0
|
| 29 |
fi
|
31 |
fi
|
| 30 |
}
|
32 |
}
|