diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 7d701c68d9d..d3e1a16fcaf 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -1842,6 +1842,11 @@ sub read_profile { next; } } + # + # TODO + # for backward compatibility, check for name changes of options + # + # # if there are still keys in the %pro array, some unknown keys have # been written in the profile, bail out if (my @foo = keys(%pro)) { |