diff options
author | Karl Berry <karl@freefriends.org> | 2009-02-07 01:41:31 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-02-07 01:41:31 +0000 |
commit | 5035139bd7b3a3278c0c968d4811fc0e1bf1f5ac (patch) | |
tree | 06c9f6c32b96aaa454a7fbb258385df82733e0f4 /Master/install-tl | |
parent | f960d764a22c7d401357dbcf0f9b0dba0e517f1b (diff) |
fail immediately if one of our necessary programs (wget,lzmadec,lzma) is not present
git-svn-id: svn://tug.org/texlive/trunk@12110 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/install-tl b/Master/install-tl index d6479523627..46f01769977 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -313,8 +313,8 @@ if (($opt_gui ne "text") && !$opt_no_gui && ($opt_profile eq "")) { # initialize the correct platform platform(); if (!setup_programs ("$::installerdir/tlpkg/installer", "$::_platform_")) { - tlwarn("Couldn't set up the necessary programs;\n" - . "perhaps your platform is not supported.\n"); + tlwarn("$0: Couldn't set up the necessary programs;\n" + . " perhaps your platform ($::_platform_) is not supported.\n"); exit 1; } |