diff options
Diffstat (limited to '')
| -rwxr-xr-x | echo-test/test | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/echo-test/test b/echo-test/test index dd43ea1..955a94e 100755 --- a/echo-test/test +++ b/echo-test/test @@ -25,7 +25,14 @@ for f in $@; do report $? "$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 |