Message ID | 1410814210-10002-7-git-send-email-thomas.petazzoni@free-electrons.com |
---|---|
State | Accepted |
Commit | ae054fcaa6e3887cf9e3b5b2441553e63bda0a0f |
Headers | show |
diff --git a/package/gdb/Config.in.host b/package/gdb/Config.in.host index fe3f90e..5d0e1b4 100644 --- a/package/gdb/Config.in.host +++ b/package/gdb/Config.in.host @@ -14,7 +14,7 @@ config BR2_PACKAGE_HOST_GDB if BR2_PACKAGE_HOST_GDB config BR2_PACKAGE_HOST_GDB_TUI - bool "GDB TUI support" + bool "TUI support" help This option enables terminal user interface (TUI) for gdb
There is no need to name the option "GDB TUI support", since this option is already visible "below" GDB in menuconfig/xconfig. Naming it "TUI support" is therefore sufficient. Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> --- package/gdb/Config.in.host | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)