config/debug/gdb.in
changeset 2444 896cb0d36c1a
parent 2421 4f3f430fc7aa
child 2478 91fb35743a44
     1.1 --- a/config/debug/gdb.in	Thu Apr 28 23:26:57 2011 +0200
     1.2 +++ b/config/debug/gdb.in	Sun May 08 19:02:44 2011 +0200
     1.3 @@ -1,8 +1,6 @@
     1.4  # GDB menu
     1.5  
     1.6 -config DEBUG_gdb
     1.7 -    help
     1.8 -      Enable gdb for the target
     1.9 +## help gdb is the GNU debugger
    1.10  
    1.11  source "config/debug/gdb.in.cross"
    1.12  source "config/debug/gdb.in.native"