diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/Master/install-tl b/Master/install-tl index a4d4b6313f6..ca6fdb21f03 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -322,16 +322,14 @@ if (!$opt_custom_bin && (platform() eq "i386-cygwin")) { chomp( my $un = `uname -r`); if ($un =~ m/^(\d+)\.(\d+)\./) { if ($1 < 2 && $2 < 7) { - tlwarn("\nSorry, the TL binaries require at least cygwin 1.7.\n"); - exit(1); + tldie("\nSorry, the TL binaries require at least cygwin 1.7.\n"); } } } if (!setup_programs ("$::installerdir/tlpkg/installer", "$::_platform_")) { - tlwarn("$0: Couldn't set up the necessary programs;\n" - . " perhaps your platform ($::_platform_) is not supported.\n"); - exit 1; + tldie("$0: Couldn't set up the necessary programs;\n" + . " perhaps your platform ($::_platform_) is not supported.\n"); } # determine where we will find the distribution to install from. @@ -370,8 +368,7 @@ if ($opt_custom_bin) { if (-d $opt_custom_bin) { info("Platform overridden, binaries taken from $opt_custom_bin\nand put into bin/custom!\n"); } else { - tlwarn("Argument for -custom-bin needs to be directory with TeX Live binaries!\n"); - exit(1); + tldie("Argument for -custom-bin needs to be directory with TeX Live binaries!\n"); } } if ($media eq "DVD") { |