diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-tlpdb')
| -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 |