summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2017-04-18 07:51:37 +0000
committerNorbert Preining <preining@logic.at>2017-04-18 07:51:37 +0000
commit2df64a2e1c0ffc000425af9bdc949004fd5266a1 (patch)
tree981d7ebcb29de0c077b4305a11af05d349782dd1 /Master
parentf62216d7cf5a1a2ee08d85b80f0cdb8068900b06 (diff)
ignore TEXDIRW in profiles
git-svn-id: svn://tug.org/texlive/trunk@43908 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/install-tl3
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl
index be8433e4826..4f99d347e6b 100755
--- a/Master/install-tl
+++ b/Master/install-tl
@@ -1823,6 +1823,9 @@ sub read_profile {
next if m/^[[:space:]]*$/; # skip empty lines
next if m/^[[:space:]]*#/; # skip comment lines
my ($k,$v) = split (" ", $_, 2); # value might have spaces
+ # skip TEXDIRW, seems not used anymore, but might be around
+ # in some profiles
+ next if ($k eq "TEXDIRW");
# convert old keys to new keys
$k = $keyrename{$k} if ($keyrename{$k});
$pro{$k} = $v;