summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/tlpkg/etc/dev.permutable-arguments.patch2
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;
+ }
+}