summaryrefslogtreecommitdiff
path: root/config/global
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-29 08:03:29 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-29 08:03:29 (GMT)
commita5c8cbcff7428af67b0d507df6899eb3cd780595 (patch)
tree67e45cfbc8345930bb31fd0a84977d62e44ada47 /config/global
parent63f8c480c5fbeac4a3442e5d0ac520f644b363da (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')
-rw-r--r--config/global/ct-behave.in1
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.