diff options
Diffstat (limited to 'gdb/infrun.c')
| -rw-r--r-- | gdb/infrun.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gdb/infrun.c b/gdb/infrun.c index 96da4cb..025ba0a 100644 --- a/gdb/infrun.c +++ b/gdb/infrun.c @@ -1420,10 +1420,11 @@ set_schedlock_func (char *args, int from_tty, struct cmd_list_element *c) } } -/* reset_schedlock -- public */ +/* If SCHEDULER_MODE is on, then set it back to off. Warn the user + about the change. */ void -reset_schedlock () +reset_schedlock (void) { if (scheduler_mode == schedlock_on) { |