diff options
Diffstat (limited to '')
| -rwxr-xr-x | patch-test/test | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/patch-test/test b/patch-test/test index d7df4bc..ea0b250 100755 --- a/patch-test/test +++ b/patch-test/test @@ -1666,7 +1666,14 @@ done touch result1 result2 cat result1 result2 > 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 result1 result2 result exit $ret |