diff options
Diffstat (limited to 'Master/tlpkg')
| -rwxr-xr-x | Master/tlpkg/bin/check-fmttriggers | 13 |
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; + } } } |