summaryrefslogtreecommitdiff
path: root/Master/install-tl.pl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/install-tl.pl')
-rwxr-xr-xMaster/install-tl.pl7
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");
}