config/toolchain.in
changeset 1495 2542421e3321
parent 1493 0dce3a3986a1
child 1501 3bf289921a80
     1.1 --- a/config/toolchain.in	Sun Aug 30 00:27:12 2009 +0200
     1.2 +++ b/config/toolchain.in	Sun Aug 30 00:57:40 2009 +0200
     1.3 @@ -305,6 +305,7 @@
     1.4  choice
     1.5      bool
     1.6      prompt "|  Install tools wrapper as:"
     1.7 +    depends on WRAPPER_NEEDED
     1.8      default TOOLS_WRAPPER_SHELL
     1.9  
    1.10  config TOOLS_WRAPPER_SCRIPT