diff options
author | Karl Berry <karl@freefriends.org> | 2009-12-23 00:02:54 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-12-23 00:02:54 +0000 |
commit | 9ae7d51a5049b0a00654f95dab49ae8e0717cb1b (patch) | |
tree | eb3252264f7cfc209baaecf9b3b41ce9d69b755e /Master | |
parent | 8c5ee37ebbf28e964cc0683db17b319177ceb2f1 (diff) |
complain if the -custom-bin argument does not have kpsewhich
git-svn-id: svn://tug.org/texlive/trunk@16483 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/install-tl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Master/install-tl b/Master/install-tl index 9baea198928..a38c449e659 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -405,10 +405,13 @@ info("Installing TeX Live $TeXLive::TLConfig::ReleaseYear from: $location\n"); info("Platform: ", platform(), " => \'", platform_desc(platform), "\'\n"); if ($opt_custom_bin) { - if (-d $opt_custom_bin) { - info("Platform overridden, binaries taken from $opt_custom_bin\nand put into bin/custom!\n"); + if (-d $opt_custom_bin && (-r "$opt_custom_bin/kpsewhich" + || -r "$opt_custom_bin/kpsewhich.exe")) { + info("Platform overridden, binaries taken from $opt_custom_bin\n" + . "and will be installed into .../bin/custom.\n"); } else { - tldie("Argument for -custom-bin needs to be directory with TeX Live binaries!\n"); + tldie("$opt_custom_bin: Argument to -custom-bin must be a directory " + . "with TeX Live binaries.\n"); } } if ($media eq "DVD") { |