diff options
Diffstat (limited to 'bin/release')
-rwxr-xr-x | bin/release | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bin/release b/bin/release index 8c1e5aa..3b975d3 100755 --- a/bin/release +++ b/bin/release @@ -73,6 +73,17 @@ for cvs in `find . -type d -name CVS -print`; do fi done done +for file in ./Changes `svf ls`; do + if (grep $file MANIFEST >/dev/null); then + : + elif [ $file = ./Changes ]; then + : + else + echo "+ $file" + fail=yes + fi +done + if [ "X$fail" = "Xyes" ]; then cat 1>&2 <<EOF The MANIFEST is out of date. Files marked with a minus sign (-) no |