diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index eda10790a0a..59ee145f1c7 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -189,6 +189,16 @@ if ($opt_version) { exit 0; } +if ($#ARGV >= 0) { + # we still have arguments left, should only be gui, otherwise die + if ($ARGV[0] =~ m/^gui$/i) { + $opt_gui = 1; + } else { + die "No arguments to install-tl allowed. Try install-tl --help!"; + } +} + + if (defined($::opt_lang)) { $::lang = $::opt_lang; } |