diff options
Diffstat (limited to '')
| -rwxr-xr-x | __sum/__test | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/__sum/__test b/__sum/__test index 4b30822..1483f76 100755 --- a/__sum/__test +++ b/__sum/__test @@ -161,7 +161,14 @@ for f in $@; do $f done ) | tee result -! grep FAILED < result >/dev/null +! grep FAILED < result > /dev/null ret=$? +if test $ret != 0; then + if test $(grep FAILED < result | grep -v NON-POSIX | wc -l) = 1; then + ret=1 + else + ret=2 + fi +fi rm result exit $ret |