diff options
author | Norbert Preining <preining@logic.at> | 2016-04-24 01:20:49 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2016-04-24 01:20:49 +0000 |
commit | 65ac4f70c5b85d086a44ee46c7502ce989a73c45 (patch) | |
tree | 876cd3ac80f35dda3ad477d73691370f076e2e0f /Master/install-tl | |
parent | fc97c6bf8a0883691471e0ecc4f1ad6fc9d0a532 (diff) |
install-tl: report verification status
git-svn-id: svn://tug.org/texlive/trunk@40715 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index b9b3a7cbc78..64a08d692b2 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -660,7 +660,8 @@ sub do_version_agree { } sub final_remote_init { - info("Installing TeX Live $TeXLive::TLConfig::ReleaseYear from: $location\n"); + info("Installing TeX Live $TeXLive::TLConfig::ReleaseYear from: $location" . + ($tlpdb->is_verified ? " (verified)" : " (not verified)") . "\n"); info("Platform: ", platform(), " => \'", platform_desc(platform), "\'\n"); if ($opt_custom_bin) { |