diff options
Diffstat (limited to '')
| -rwxr-xr-x | cat-test/test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cat-test/test b/cat-test/test index b735768..b59188a 100755 --- a/cat-test/test +++ b/cat-test/test @@ -88,7 +88,7 @@ done ! grep FAILED < result > /dev/null ret=$? if test $ret != 0; then - if test $(grep FAILED < result | grep -v NON-POSIX | wc -l) = 0; then + if test $(grep FAILED < result | grep -v NON-STANDARD | wc -l) = 0; then ret=1 else ret=2 |