diff options
author | Alexey Neyman <stilor@att.net> | 2017-01-22 23:50:18 (GMT) |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2017-01-26 20:19:49 (GMT) |
commit | 23aef79883b1f4d0e009c9b3cf24cc8fd62b84f1 (patch) | |
tree | b7ebe1fdac5a53bc48ffa75de799b0186bea1d13 /config/companion_tools/make.in | |
parent | dedee847056ea71cee17b683ef379f00a6debab1 (diff) |
Declare older versions obsolete.
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config/companion_tools/make.in')
-rw-r--r-- | config/companion_tools/make.in | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/config/companion_tools/make.in b/config/companion_tools/make.in index 0935cd8..e9e7997 100644 --- a/config/companion_tools/make.in +++ b/config/companion_tools/make.in @@ -14,15 +14,18 @@ config MAKE_V_4_2_1 config MAKE_V_4_1 bool - prompt "4.1" + prompt "4.1 (OBSOLETE)" + depends on OBSOLETE config MAKE_V_4_0 bool - prompt "4.0" + prompt "4.0 (OBSOLETE)" + depends on OBSOLETE config MAKE_V_3_81 bool - prompt "3.81" + prompt "3.81 (OBSOLETE)" + depends on OBSOLETE endchoice |