diff options
Diffstat (limited to 'Master/install-tl.pl')
-rwxr-xr-x | Master/install-tl.pl | 12 |
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; } } |