diff options
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/texlive/updmap.pl | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl b/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl index 765c2c6e3a7..a8d39465f65 100755 --- a/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl +++ b/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl @@ -340,10 +340,8 @@ sub main { if ($opts{'syncwithtrees'}) { my @missing = read_map_files(); if (@missing) { - print "Missing map files found, disabling them in $changes_config_file\n"; - for my $m (@missing) { - $changed ||= disableMap($m); - } + print "Missing map files found, disabling\n @missing\nin $changes_config_file\n"; + $changed ||= enable_disable_maps(@missing); # the original script did not run any update of the map files here, # should we do that? } |