diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-05-17 23:02:48 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-05-17 23:02:48 +0000 |
commit | 94ad3be838e1c8a5f4497beef2463c19b3b69334 (patch) | |
tree | 686914ab9af0aa51fac95a3f5224cca06874b30c /Master/tlpkg | |
parent | 4cba59e86391329b80826ac247f76110d6c73fe9 (diff) |
do not flood with obviouly useless output (map, tex4ht)
git-svn-id: svn://tug.org/texlive/trunk@8195 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/check-duplicated-runfiles | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-duplicated-runfiles b/Master/tlpkg/bin/check-duplicated-runfiles index 016a9dfa8d8..d212c68e589 100755 --- a/Master/tlpkg/bin/check-duplicated-runfiles +++ b/Master/tlpkg/bin/check-duplicated-runfiles @@ -44,10 +44,28 @@ foreach my $f (sort map { basename($_) } @runtime_files) { } shift @duplicates; # get rid of the fake 1st value +# @duplicates = ('8r-base.map', 'aer.sty', 'lm-ec.map'); # for debugging + # check if duplicates are different files # foreach my $f (@duplicates) { + # assume tex4ht stuff is ok, and don't worry about Changes/README for now + next if ($f =~ /(^Changes$|^README$|\.htf$|\.4hf$)/); + # my @copies = grep (/\/$f$/, @runtime_files); + # map files can be duplicated as long as copies don't concern the same engine + if ($f =~ /\.map$/) { + my $need_check = 0; + my $prev_dir = ""; + my @cop = @copies; # don't break the outside list + map { s#^texmf-dist/fonts/map/(.*?)/.*#$1# } @cop; + foreach my $dir (sort @cop ) { + last if ($need_check = ($dir eq $prev_dir)); + $prev_dir = $dir; + } + next unless $need_check; + } + # if all copies are identical, ok, else, complain my $diff = 0; for (my $i = 1; $i < scalar(@copies); $i++) { if ($diff = system ("diff -q --strip-trailing-cr " |