diff options
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) { |