diff options
| -rw-r--r-- | Master/tlpkg/etc/dev.permutable-arguments.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/etc/dev.permutable-arguments.patch b/Master/tlpkg/etc/dev.permutable-arguments.patch index 4d76a47d5ca..6a81b845087 100644 --- a/Master/tlpkg/etc/dev.permutable-arguments.patch +++ b/Master/tlpkg/etc/dev.permutable-arguments.patch @@ -178,7 +178,7 @@ Index: tlmgr2.pl + if ($k eq "n" || $k eq "dry-run") { + $kk = "dry-run|n"; + } -+ if (!defined($suppargs{$kk})) { ++ if ( !defined($suppargs{$kk}) && !defined($globaloptions{$kk}) ) { + push @notvalidargs, $k; + } +} |