Cope with CVS weird way to report warnings.

diff --git a/Makefile.maint b/Makefile.maint
index e9258740d062c00695ad3f47200ac9a7604c550b..c3d8b8c983eaa5d3777b7a4a56091144a65ae3cf 100644 (file)
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -77,7 +77,7 @@ cvs-tag-check:
        else :; fi
 
 cvs-diff-check:
-       if cvs diff >cvs-diffs; then                            \
+       if cvs diff | grep -v '^?' >cvs-diffs; then             \
          rm cvs-diffs;                                         \
        else                                                    \
          echo "Some files are locally modified:" 1>&2;         \