diff options
Diffstat (limited to '')
| -rwxr-xr-x | false-test/test | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/false-test/test b/false-test/test index 7628bbc..73abf08 100755 --- a/false-test/test +++ b/false-test/test @@ -75,7 +75,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 |