diff options
author | Karl Berry <karl@freefriends.org> | 2010-01-18 00:22:57 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-01-18 00:22:57 +0000 |
commit | e2afea1b7dcfdabb77d5ca96ba8be63b33961b6c (patch) | |
tree | ffd4415ff86c12c08f36dc39dda43427d1a0ff0c /Master/install-tl | |
parent | acd348131221ef4a967e6584a1bf898c4402471b (diff) |
warn about envvars that might talk about tex
git-svn-id: svn://tug.org/texlive/trunk@16765 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Master/install-tl b/Master/install-tl index a38c449e659..e2f103e9d70 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -1607,18 +1607,6 @@ sub do_cleanup rmtree("$vars{'TEXDIRW'}/temp") if (-d "$vars{'TEXDIRW'}/temp"); } - # 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); - #} - - # should not be needed any more - #dump_vars("$system_tmpdir/texlive.vars"); - # write the profile out if ($vars{'from_dvd'}) { create_profile("$vars{'TEXDIRW'}/texlive.profile"); |