merge -r 1158 - fix fatal errors so that they have an exit with an exit code

of 127
This commit is contained in:
John Johansen 2008-03-28 07:19:57 +00:00
parent ee8e0b66bc
commit 2d31f4dbc4

View file

@ -15,4 +15,8 @@ else
rm -rf $tmpdir
fi
if [ -n "$_fatal" ] ; then
exit 127
else
exit $num_testfailures
fi