diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-29 08:03:29 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-29 08:03:29 (GMT) |
commit | a5c8cbcff7428af67b0d507df6899eb3cd780595 (patch) | |
tree | 67e45cfbc8345930bb31fd0a84977d62e44ada47 /config/global/ct-behave.in | |
parent | 63f8c480c5fbeac4a3442e5d0ac520f644b363da (diff) |
config: hide options to debug crosstool-NG when a backend
When used as a backend, it does not make sense to debug crosstool-NG,
so hide the option.
Diffstat (limited to 'config/global/ct-behave.in')
-rw-r--r-- | config/global/ct-behave.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/global/ct-behave.in b/config/global/ct-behave.in index 53f4adf..f3be63e 100644 --- a/config/global/ct-behave.in +++ b/config/global/ct-behave.in @@ -44,6 +44,7 @@ config DEBUG_CT bool prompt "Debug crosstool-NG" default n + depends on ! BACKEND help Say 'y' here to get some options regarding debugging crosstool-NG. |