summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl5
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)) {