Add of %source_extension and %header_extension which specify

[bison.git] / Makefile.maint

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