diff options
| -rw-r--r-- | gdb/monitor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/monitor.h b/gdb/monitor.h index 82b417b..7847174 100644 --- a/gdb/monitor.h +++ b/gdb/monitor.h @@ -180,4 +180,5 @@ extern void monitor_printf PARAMS ((char *, ...)) ATTR_FORMAT(printf, 1, 2); extern void monitor_printf_noecho PARAMS ((char *, ...)) ATTR_FORMAT(printf, 1, 2); +extern char *monitor_get_dev_name PARAMS ((void)); extern void init_monitor_ops PARAMS ((struct target_ops *)); |