changeset 3292 | 9321d9d7af9b |
parent 3291 | ccef9a13c09b |
child 3293 | e11a8a2e225d |
1.1 --- a/config/companion_tools.in Thu Feb 20 18:22:50 2014 +0000 1.2 +++ b/config/companion_tools.in Thu Feb 20 18:23:08 2014 +0000 1.3 @@ -2,7 +2,15 @@ 1.4 1.5 menu "Companion tools" 1.6 1.7 +config COMP_TOOLS_make_3_81_NEEDED 1.8 + bool 1.9 + depends on ! CONFIGURE_has_make381 1.10 + default y 1.11 + select COMP_TOOLS 1.12 + select COMP_TOOLS_make 1.13 + 1.14 comment "READ HELP before you say 'Y' below !!!" 1.15 + 1.16 config COMP_TOOLS 1.17 bool 1.18 prompt "Build some companion tools"