diff options
Diffstat (limited to '')
| -rwxr-xr-x | true-test/test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/true-test/test b/true-test/test index c3ddd97..31e73e4 100755 --- a/true-test/test +++ b/true-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 |