diff options
| -rwxr-xr-x | Master/install-tl | 2 | ||||
| -rwxr-xr-x | Master/install-tl-windows.bat | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index be073cb1192..e9b0dda8fc8 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -109,7 +109,7 @@ if (($^O !~ /^MSWin/i) && } } } else { - for my $q (qw/in-place profile help print-platform version no-gui/) { + for my $q (qw/in-place profile help print-arch print-platform version no-gui/) { if ($p eq "-$q") { # ignore gui mode $want_tcl = 0; diff --git a/Master/install-tl-windows.bat b/Master/install-tl-windows.bat index 640c7396c24..a20901003b0 100755 --- a/Master/install-tl-windows.bat +++ b/Master/install-tl-windows.bat @@ -113,6 +113,10 @@ if -print-platform == %p% ( set tcl=no
set forbid=yes
)
+if -print-arch == %p% (
+set tcl=no
+set forbid=yes
+)
if -version == %p% (
set tcl=no
set forbid=yes
|