diff options
| author | Pedro Alves <palves@redhat.com> | 2010-05-17 10:40:06 +0000 |
|---|---|---|
| committer | Pedro Alves <palves@redhat.com> | 2010-05-17 10:40:06 +0000 |
| commit | c2fb7f985330fd2666f36b960f33d181f6f5c9a4 (patch) | |
| tree | 709354af5bcd56909ea38fc1cf80ae401756f4dc /gdb/infrun.c | |
| parent | 3a689531dc933c3b481e0e5771dfe8d48dc3c0f9 (diff) | |
| download | gdb-c2fb7f985330fd2666f36b960f33d181f6f5c9a4.zip gdb-c2fb7f985330fd2666f36b960f33d181f6f5c9a4.tar.gz gdb-c2fb7f985330fd2666f36b960f33d181f6f5c9a4.tar.bz2 | |
Revert previous change that inadvertently added reset_schedlock, and
revert changes done on top on that.
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. */ |