summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 "