diff options
author | Karl Berry <karl@freefriends.org> | 2006-08-27 18:17:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-08-27 18:17:37 +0000 |
commit | 82ddb75ff69905181f43a1f1f59d247fbb3b77b6 (patch) | |
tree | 8493641246320b66f9f719923f20b733426d98b1 /Build | |
parent | 4ab3220f33f1983f5aff7b7253ad229e44c952fe (diff) |
if a file doesn't exist, don't count its directory.
git-svn-id: svn://tug.org/texlive/trunk@2044 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/cdbuild/place | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Build/cdbuild/place b/Build/cdbuild/place index 00854662692..81fbe499c18 100755 --- a/Build/cdbuild/place +++ b/Build/cdbuild/place @@ -58,8 +58,13 @@ else { find (\&files,"."); foreach $file (sort keys %Old) { print "* $file: [retained=$New{$file}]\n"; - # don't remove tpm or lists file, they won't be in the new package - if (! $New{$file} && $file !~ /\.tpm$/ && $file !~ m,/lists/[^/]+$,) { + + # and if the file does not exist, don't try to remove it -- we + # probably did so by hand and didn't bother to update the tpm. + next unless -f "$M/$file"; + + # don't remove tpm or lists file, they won't be in the new package. + if (! $New{$file} && $file !~ /\.tpm$/ && $file !~ m,/lists/[^/]+$) { &my_system ("svn remove $M/$file"); } $dirs{dirname ("$M/$file")}++; |