summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl3
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) {