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