diff options
-rw-r--r-- | Makefile.maint | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.maint b/Makefile.maint index 1501333a4..f62c080e0 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -170,10 +170,10 @@ cvs-tag-check: else :; fi cvs-diff-check: - if $(CVS) diff >cvs-diffs; then \ - rm cvs-diffs; \ - else \ - echo "Some files are locally modified:" 1>&2; \ + if $(CVS) diff >cvs-diffs; then \ + rm cvs-diffs; \ + else \ + echo "Some files are locally modified:" 1>&2; \ cat cvs-diffs; \ exit 1; \ fi |