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 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: