summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl.pl12
1 files changed, 10 insertions, 2 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl
index 32a15b68d15..41a5acc6db3 100755
--- a/Master/install-tl.pl
+++ b/Master/install-tl.pl
@@ -887,9 +887,17 @@ sub update_numbers {
}
sub flushlog {
- print STDERR "Not creating a log file but flushing messages to stderr:\n";
+ my $fh;
+ if (open(LOG,">install-tl.log")) {
+ warn STDERR "Writing log file to current working directory!\n";
+ $fh = \*LOG;
+ } else {
+ $fh = \*STDERR;
+ warn STDERR "Not creating a log file but flushing messages to stderr:\n";
+ }
+
foreach my $l (@::LOGLINES) {
- print STDERR $l;
+ print $fh $l;
}
}