diff options
Diffstat (limited to 'bin/chkmanifest')
-rwxr-xr-x | bin/chkmanifest | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/chkmanifest b/bin/chkmanifest index 63612c8..a6f56a2 100755 --- a/bin/chkmanifest +++ b/bin/chkmanifest @@ -7,6 +7,9 @@ verbose=yes MANIFEST=/tmp/H5_MANIFEST.$$ +# clean up $MANIFEST file when exits +trap "rm -f $MANIFEST" 0 + # Copy the manifest file to get a list of file names. grep '^\.' MANIFEST | expand | cut -f1 -d' ' >$MANIFEST @@ -21,7 +24,7 @@ done for cvs in `find . -type d -name CVS -print`; do path=`echo $cvs |sed 's/\/CVS//'` for file in `grep '^\/' $cvs/Entries |cut -d/ -f2`; do - if (grep $path/$file $MANIFEST >/dev/null); then + if (grep $path/$file$ $MANIFEST >/dev/null); then : else echo "+ $path/$file" |