# HG changeset patch # User "Yann E. MORIN" # Date 1269849809 -7200 # Node ID dc39960ecfd221f2ab921483233caa8f8785dc51 # Parent 1539194a187712727459bc057ebbe1c82aa3667e 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. diff -r 1539194a1877 -r dc39960ecfd2 config/global/ct-behave.in --- a/config/global/ct-behave.in Mon Mar 29 10:05:21 2010 +0200 +++ b/config/global/ct-behave.in Mon Mar 29 10:03:29 2010 +0200 @@ -44,6 +44,7 @@ bool prompt "Debug crosstool-NG" default n + depends on ! BACKEND help Say 'y' here to get some options regarding debugging crosstool-NG.