Cope with CVS weird way to report warnings.

This commit is contained in:
Akim Demaille
2001-08-03 09:08:49 +00:00
parent fdb5fc3863
commit dc2825ae89

View File

@@ -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; \