diff options
| -rwxr-xr-x | Master/install-tl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index 51ca522d756..b1103da9830 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -249,12 +249,14 @@ my $media; # a couple of special uses of install-tl: if ($opt_arch) { - print platform; + print platform()."\n"; exit 0; } elsif ($opt_portable) { $::opt_verbosity = -1; $::_platform_ = platform(); $location = getenv('TEXDIR'); + die "Don't use --portable directly; use tl-portable instead\n" + unless $location; $vars{'TEXDIR'} = $location; if (not -d $vars{'TEXDIR'}.'/bin/'.$::_platform_) { # shouldn't happen print "Platform ".$::_platform_." not supported\n"; |