One nit:

diff --git a/tests/autotest.at b/tests/autotest.at
index 162bbb7..7b8e0ee 100644
--- a/tests/autotest.at
+++ b/tests/autotest.at
@@ -1512,7 +1512,7 @@

 if test "$HAVE_EUNIT" = yes; then
   AT_CHECK([grep 1.*successful t/suite.log], [], [ignore])
-  AT_CHECK([grep -v skipped t/suite.log], [], [ignore])
+  AT_CHECK([grep skipped t/suite.log], [1], [ignore])
 else
   AT_CHECK([grep 1.*skipped t/suite.log], [], [ignore])
   AT_CHECK([grep 0.*successful t/suite.log], [], [ignore])

Paolo


Reply via email to