diff options
| author | Simon Marchi <simon.marchi@ericsson.com> | 2015-07-08 11:40:35 -0400 |
|---|---|---|
| committer | Simon Marchi <simon.marchi@ericsson.com> | 2015-07-08 11:40:35 -0400 |
| commit | ef3f321b39c3e31fc49f034257a944d515af182a (patch) | |
| tree | 2e5715e2ac8d9a6b01c21e02516f0f00d5718a07 /gdb/inferior.h | |
| parent | 0560c645c02eba2828a053039dcfdf676cdd1d00 (diff) | |
Revert "Delete program spaces directly when removing inferiors"
Reverted, since it causes a build failure. It turns out that
delete_inferior_silent wasn't actually unused.
This reverts commit 0560c645c02eba2828a053039dcfdf676cdd1d00.
Diffstat (limited to 'gdb/inferior.h')
| -rw-r--r-- | gdb/inferior.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gdb/inferior.h b/gdb/inferior.h index 48cba45f67..2054a2a956 100644 --- a/gdb/inferior.h +++ b/gdb/inferior.h @@ -418,7 +418,14 @@ extern struct inferior *add_inferior (int pid); the CLI. */ extern struct inferior *add_inferior_silent (int pid); -extern void delete_inferior (struct inferior *todel); +/* Delete an existing inferior list entry, due to inferior exit. */ +extern void delete_inferior (int pid); + +extern void delete_inferior_1 (struct inferior *todel, int silent); + +/* Same as delete_inferior, but don't print new inferior notifications + to the CLI. */ +extern void delete_inferior_silent (int pid); /* Delete an existing inferior list entry, due to inferior detaching. */ extern void detach_inferior (int pid); |