diff options
author | Norbert Preining <preining@logic.at> | 2020-10-06 00:40:39 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2020-10-06 00:40:39 +0000 |
commit | 2470521c5ea9ceb224b1911d86836f389bbdfa4d (patch) | |
tree | dd6e655f75ba22e1cb6046356c6e631ed913202c /Master/tlpkg/bin | |
parent | 73b3b3a6d35435c5bf55001e45da09ec18928343 (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')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-tlpdb | 7 |
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 |