diff options
| author | Karl Berry <karl@freefriends.org> | 2019-12-19 19:10:54 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-12-19 19:10:54 +0000 |
| commit | 693eacf895c01285e2992460bb489142ead8ae8a (patch) | |
| tree | 4d0d8c4baf86c319a319e35b47ee248ca89bb796 | |
| parent | 71ad6e34fa27933974fb63f17b86011853b0373c (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-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 3 |
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_/); } |