summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-12-19 19:10:54 +0000
committerKarl Berry <karl@freefriends.org>2019-12-19 19:10:54 +0000
commit693eacf895c01285e2992460bb489142ead8ae8a (patch)
tree4d0d8c4baf86c319a319e35b47ee248ca89bb796
parent71ad6e34fa27933974fb63f17b86011853b0373c (diff)
(action_option): do not report generate_upmap, as
it is no longer needed or used. git-svn-id: svn://tug.org/texlive/trunk@53186 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl3
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl
index aea393ebefa..38d239410aa 100755
--- a/Master/texmf-dist/scripts/texlive/tlmgr.pl
+++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl
@@ -4628,10 +4628,13 @@ sub action_option {
return($ret);
}
for my $o (sort keys %{$localtlpdb->options}) {
+ # ignore generate_update which is no longer used or needed.
+ next if ($o eq "generate_updmap");
# ignore some things which are w32 specific
next if ($o eq "desktop_integration" && !win32());
next if ($o eq "file_assocs" && !win32());
next if ($o eq "w32_multi_user" && !win32());
+ #
if (win32()) {
next if ($o =~ m/^sys_/);
}