"Thread Information Block is %s.\n"), value);
}
-static void
-info_w32_command (const char *args, int from_tty)
-{
- help_list (info_w32_cmdlist, "info w32 ", class_info, gdb_stdout);
-}
-
-static int w32_prefix_command_valid = 0;
-void
-init_w32_command_list (void)
-{
- if (!w32_prefix_command_valid)
- {
- add_prefix_cmd ("w32", class_info, info_w32_command,
- _("Print information specific to Win32 debugging."),
- &info_w32_cmdlist, "info w32 ", 0, &infolist);
- w32_prefix_command_valid = 1;
- }
-}
-
/* Implementation of `gdbarch_gdb_signal_to_target' for Windows. */
static int
windows_gdbarch_data_handle
= gdbarch_data_register_post_init (init_windows_gdbarch_data);
- init_w32_command_list ();
+ add_basic_prefix_cmd ("w32", class_info,
+ _("Print information specific to Win32 debugging."),
+ &info_w32_cmdlist, "info w32 ", 0, &infolist);
+
add_cmd ("thread-information-block", class_info, display_tib,
_("Display thread information block."),
&info_w32_cmdlist);