diff options
Diffstat (limited to 'gdb/cli/cli-decode.h')
| -rw-r--r-- | gdb/cli/cli-decode.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gdb/cli/cli-decode.h b/gdb/cli/cli-decode.h index 5920559..5ed5fcd 100644 --- a/gdb/cli/cli-decode.h +++ b/gdb/cli/cli-decode.h @@ -242,4 +242,9 @@ extern void print_doc_line (struct ui_file *, const char *); extern const char * const auto_boolean_enums[]; +/* Verify whether a given cmd_list_element is a user-defined command. + Return 1 if it is user-defined. Return 0 otherwise. */ + +extern int cli_user_command_p (struct cmd_list_element *); + #endif /* !defined (CLI_DECODE_H) */ |