config/companion_tools.in
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"