diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2004-01-24 11:37:29 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2004-01-24 11:37:29 +0000 |
| commit | 5f19a6187b40ac007e58f2ecd539e915f1353863 (patch) | |
| tree | 06f823b11c3c8cb535587e661085f2ec2b5c90d2 | |
| parent | 023ee6f5857df8468bc26bf5d73c8c3fad9832ec (diff) | |
| download | gdb-5f19a6187b40ac007e58f2ecd539e915f1353863.tar.gz | |
* gdb.texinfo (KOD): Document "show os". Add index entries for
"set/show os" and "info cisco" commands.
| -rw-r--r-- | gdb/doc/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 15 |
2 files changed, 16 insertions, 4 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index ef9dc9286e7..2ddf21ad3c2 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2004-01-24 Eli Zaretskii <eliz@gnu.org> + + * gdb.texinfo (KOD): Document "show os". Add index entries for + "set/show os" and "info cisco" commands. + 2004-01-21 Eli Zaretskii <eliz@gnu.org> * Makefile.in (install-info): Prepend $(DESTDIR) to $(infodir). diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 4e04afe05d2..c99dcad7a59 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -10632,9 +10632,7 @@ configuration of @value{GDBN}; use @code{help target} to list them. @node KOD @section Kernel Object Display - @cindex kernel object display -@cindex kernel object @cindex KOD Some targets support kernel object display. Using this facility, @@ -10643,6 +10641,7 @@ and can display information about operating system-level objects such as mutexes and other synchronization objects. Exactly which objects can be displayed is determined on a per-OS basis. +@kindex set os Use the @code{set os} command to set the operating system. This tells @value{GDBN} which kernel object display module to initialize: @@ -10650,11 +10649,17 @@ Use the @code{set os} command to set the operating system. This tells (@value{GDBP}) set os cisco @end smallexample +@kindex show os +The associated command @code{show os} displays the operating system +set with the @code{set os} command; if no operating system has been +set, @code{show os} will display an empty string @samp{""}. + If @code{set os} succeeds, @value{GDBN} will display some information about the operating system, and will create a new @code{info} command which can be used to query the target. The @code{info} command is named after the operating system: +@kindex info cisco @smallexample (@value{GDBP}) info cisco List of Cisco Kernel Objects @@ -10665,8 +10670,10 @@ any Any and all objects Further subcommands can be used to query about particular objects known by the kernel. -There is currently no way to determine whether a given operating system -is supported other than to try it. +There is currently no way to determine whether a given operating +system is supported other than to try setting it with @kbd{set os +@var{name}}, where @var{name} is the name of the operating system you +want to try. @node Remote Debugging |