diff options
-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 8f24bb00e24..369b94f2d06 100755 --- a/Master/install-tl.pl +++ b/Master/install-tl.pl @@ -246,12 +246,12 @@ if ($opt_profile eq "") { my $ret = run_menu(); if ($ret == $MENU_QUIT) { # do_cleanup(); MISSING - dump_vars("$system_tmpdir/texlive.vars"); + flushlog(); exit(1); } if ($ret == $MENU_ABORT) { # NO do_cleanup()! - dump_vars("$system_tmpdir/texlive.vars"); + flushlog(); exit(2); } if ($ret == $MENU_ALREADYDONE) { @@ -885,6 +885,14 @@ sub update_numbers { } } } + +sub flushlog { + print STDERR "Not creating a log file but flushing messages to stderr:\n"; + foreach my $l (@::LOGLINES) { + print STDERR $l; + } +} + __END__ ### Local Variables: |