summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-05-17 23:02:48 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-05-17 23:02:48 +0000
commit94ad3be838e1c8a5f4497beef2463c19b3b69334 (patch)
tree686914ab9af0aa51fac95a3f5224cca06874b30c /Master/tlpkg
parent4cba59e86391329b80826ac247f76110d6c73fe9 (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-xMaster/tlpkg/bin/check-duplicated-runfiles18
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 "