diff options
-rwxr-xr-x | Master/install-tl.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl index 1a18e5b0a8e..9ebd7078066 100755 --- a/Master/install-tl.pl +++ b/Master/install-tl.pl @@ -269,6 +269,11 @@ if (-r "$vars{'TEXDIR'}/$InfraLocation/texlive.profile") { tllog($::LOG_DEBUG, "Profile written to $vars{'TEXDIR'}/$InfraLocation/texlive.profile\n"); } + +# Close log file if present +close($::LOGFILE) if defined($::LOGFILE); + + exit(0); @@ -286,7 +291,7 @@ sub dump_vars { print VARS "$key $vars{$key}\n"; } close VARS; - print "\n%vars dumped to '$filename'.\n"; + tllog($::LOG_DEBUG, "\n%vars dumped to '$filename'.\n"); } |