This commit is contained in:
Akim Demaille
2001-08-03 09:11:12 +00:00
parent dc2825ae89
commit be64244492

View File

@@ -77,12 +77,13 @@ cvs-tag-check:
else :; fi
cvs-diff-check:
if cvs diff | grep -v '^?' >cvs-diffs; then \
rm cvs-diffs; \
else \
cvs diff | grep -v '^?' >cvs-diffs
if grep . cvs-diff >dev/null; then \
echo "Some files are locally modified:" 1>&2; \
cat cvs-diffs; \
exit 1; \
else \
rm cvs-diffs; \
fi
cvs-check: cvs-diff-check cvs-tag-check