summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-update-tlpdb
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2020-10-06 00:40:39 +0000
committerNorbert Preining <preining@logic.at>2020-10-06 00:40:39 +0000
commit2470521c5ea9ceb224b1911d86836f389bbdfa4d (patch)
treedd6e655f75ba22e1cb6046356c6e631ed913202c /Master/tlpkg/bin/tl-update-tlpdb
parent73b3b3a6d35435c5bf55001e45da09ec18928343 (diff)
try detecting changes in fmttriggers
git-svn-id: svn://tug.org/texlive/trunk@56565 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-tlpdb')
-rwxr-xr-xMaster/tlpkg/bin/tl-update-tlpdb7
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlpdb b/Master/tlpkg/bin/tl-update-tlpdb
index 18ad22ab247..954fb73c114 100755
--- a/Master/tlpkg/bin/tl-update-tlpdb
+++ b/Master/tlpkg/bin/tl-update-tlpdb
@@ -254,10 +254,11 @@ sub compare_and_fix_tlpdbs {
if (exists $cmp{'different_packages'}) {
for my $p (sort keys %{$cmp{'different_packages'}}) {
if (defined($cmp{'different_packages'}->{$p}->{'added'}) ||
- defined($cmp{'different_packages'}->{$p}->{'removed'})) {
+ defined($cmp{'different_packages'}->{$p}->{'removed'}) ||
+ defined($cmp{'different_packages'}->{$p}->{'fmttrigger'})) {
if (!defined($cmp{'different_packages'}->{$p}->{'revision'})) {
- # no revision change reported, but files have been added
- # or removed, try fixing it
+ # no revision change reported, but files or fmttriggers have
+ # been added or removed, try fixing it
$packages_needing_fixup{$p} = 1;
} else {
# revision change has been reported, if the revision is increasing