Regen.

[bison.git] / Makefile.maint

diff --git a/Makefile.maint b/Makefile.maint
index e5f5af21747f8c9e7467016b2a1d94526c698a0e..69fbbd24d64fd451abfe05fda257a93268bf2eb4 100644 (file)
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -77,10 +77,10 @@ cvs-tag-check:
        else :; fi
 
 cvs-diff-check:
-       cvs diff | grep -v '^?' >cvs-diffs
-       if grep . cvs-diff >dev/null; then                      \
-         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;                                         \