summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-11-06 00:18:20 +0000
committerKarl Berry <karl@freefriends.org>2017-11-06 00:18:20 +0000
commitd6b2e3e412b2bfe4a6aab470de255bafa29b91c2 (patch)
treee14903d4836d0dc00b15ca4beb5720915bb7e662
parent3e05f904513bfc27ae6875cc098b73f6e52deaa5 (diff)
handle cases where no fmttriggers is expected now
(mf, context) git-svn-id: svn://tug.org/texlive/trunk@45704 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/tlpkg/bin/check-fmttriggers13
1 files changed, 9 insertions, 4 deletions
diff --git a/Master/tlpkg/bin/check-fmttriggers b/Master/tlpkg/bin/check-fmttriggers
index 7d8b85b8c3c..21ba259f715 100755
--- a/Master/tlpkg/bin/check-fmttriggers
+++ b/Master/tlpkg/bin/check-fmttriggers
@@ -331,10 +331,15 @@ sub compare_pkgs_and_triggers {
delete $fmttriggers->{$ef};
} else {
- # not in tlpdb at all; output needed fmttriggers directive.
- tlwarn ("$prg: no fmttriggers in tlpdb: $ef\n"
- . " fmttriggers=" . join (",", @recorded_pkgs) . "\n");
- $bad_p = 1;
+ # not in tlpdb at all; in a few cases, that is expected.
+ # Otherwise, complain and output needed fmttriggers directive.
+ if ($ef =~ /^(mf-nowin\.mf|(pdf|xe)tex\.cont-en)$/) {
+ delete $fmttriggers->{$ef}; # ok
+ } else {
+ tlwarn ("$prg: no fmttriggers in tlpdb: $ef\n"
+ . " fmttriggers=" . join (",", @recorded_pkgs) . "\n")
+ $bad_p = 1;
+ }
}
}