diff options
Diffstat (limited to 'tests/ere.awk')
| -rw-r--r-- | tests/ere.awk | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/tests/ere.awk b/tests/ere.awk index 3f93a032..c014fe9a 100644 --- a/tests/ere.awk +++ b/tests/ere.awk @@ -16,10 +16,16 @@ NF == 3 { } NF == 4 { - printf ("echo '%s'|${GREP} -E -e '%s' > /dev/null 2>&1\n",$3, $2); - printf ("if test $? -ne %s ; then\n", $1); - printf ("\techo Expected non conformance \\#%d ... continuing\n", ++n); - printf ("fi\n"); +# don't alarm the user for now +# printf ("echo '%s'|${GREP} -E -e '%s' > /dev/null 2>&1\n",$3, $2); +# printf ("if test $? -ne %s ; then\n", $1); +# printf ("\techo Expected non conformance \\#%d ... continuing\n", ++n); +# printf ("fi\n"); +} + +NF == 5 { +# don't alarm the user for now + next; } END { printf ("exit $failures\n"); } |