diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-30 00:57:40 +0200 |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-30 00:57:40 +0200 |
commit | 4ae5ff5fd8f09d67a0cf6ca7952e62454e68f390 (patch) | |
tree | 5d1a24c7cbd03ec9b14ef1300321cd690bb839fd /config/toolchain.in | |
parent | b7b6314a812914c74445c52f0a8e1f543e36b72a (diff) | |
download | crosstool-ng-4ae5ff5fd8f09d67a0cf6ca7952e62454e68f390.tar.gz crosstool-ng-4ae5ff5fd8f09d67a0cf6ca7952e62454e68f390.tar.bz2 crosstool-ng-4ae5ff5fd8f09d67a0cf6ca7952e62454e68f390.zip |
tools wrapper: introduce the silent WRAPPER_NEEDED config option
Add the WRAPPER_NEEDED silent config option, that can be selected by
components that require it (companion libs so far).
Rely on this config option when deciding to install the wrapper,
instead of checking GMP/MPFR or PPL/CLoog/MPC.
Diffstat (limited to 'config/toolchain.in')
-rw-r--r-- | config/toolchain.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/toolchain.in b/config/toolchain.in index 0aae1124..14db552a 100644 --- a/config/toolchain.in +++ b/config/toolchain.in @@ -305,6 +305,7 @@ comment "Host specifics" choice bool prompt "| Install tools wrapper as:" + depends on WRAPPER_NEEDED default TOOLS_WRAPPER_SHELL config TOOLS_WRAPPER_SCRIPT |