diff options
Diffstat (limited to '')
| -rwxr-xr-x | false-test/test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/false-test/test b/false-test/test index b7b0798..c3e1432 100755 --- a/false-test/test +++ b/false-test/test @@ -78,7 +78,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 |