diff options
Diffstat (limited to 'gdb/infrun.c')
-rw-r--r-- | gdb/infrun.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/gdb/infrun.c b/gdb/infrun.c index 025ba0a..9f4c298 100644 --- a/gdb/infrun.c +++ b/gdb/infrun.c @@ -1420,19 +1420,6 @@ set_schedlock_func (char *args, int from_tty, struct cmd_list_element *c) } } -/* If SCHEDULER_MODE is on, then set it back to off. Warn the user - about the change. */ - -void -reset_schedlock (void) -{ - if (scheduler_mode == schedlock_on) - { - warning ("Resetting scheduler-lock mode to 'off'"); - scheduler_mode = schedlock_off; - } -} - /* True if execution commands resume all threads of all processes by default; otherwise, resume only threads of the current inferior process. */ |