config/debug/gdb.in
changeset 1269 17e37102a037
parent 1263 a6829a4a6afe
child 1390 38e2e6d5c9b4
     1.1 --- a/config/debug/gdb.in	Mon Mar 23 20:47:30 2009 +0000
     1.2 +++ b/config/debug/gdb.in	Thu Mar 26 18:58:13 2009 +0000
     1.3 @@ -87,6 +87,11 @@
     1.4        In case you have trouble with dynamic loading of shared libraries,
     1.5        you will find that a static gdbserver comes in handy.
     1.6  
     1.7 +if BARE_METAL
     1.8 +comment "In bare-metal, you'll need to   "
     1.9 +comment "provide your own gdbserver stub."
    1.10 +endif # BARE_METAL
    1.11 +
    1.12  choice
    1.13      bool
    1.14      prompt "gdb version"