diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Master/install-tl b/Master/install-tl index 3bf3702335a..b210f4c1d3d 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -1229,13 +1229,13 @@ sub do_cleanup } # dump various things to the log file - if (defined($::LOGFILE)) { - print $::LOGFILE "\nDump of vars:\n"; - foreach my $key (keys %vars) { - print $::LOGFILE "$key $vars{$key}\n"; - } - create_profile($::LOGFILE); - } + #if (defined($::LOGFILE)) { + # print $::LOGFILE "\nDump of vars:\n"; + # foreach my $key (keys %vars) { + # print $::LOGFILE "$key $vars{$key}\n"; + # } + # create_profile($::LOGFILE); + #} # should not be needed any more #dump_vars("$system_tmpdir/texlive.vars"); |