diff options
| author | Doug Evans <xdje42@gmail.com> | 2014-05-17 11:59:34 -0700 |
|---|---|---|
| committer | Doug Evans <xdje42@gmail.com> | 2014-05-17 11:59:34 -0700 |
| commit | bed8455c71aa68852723b031f8f6c4adbd683c9c (patch) | |
| tree | 7b19d4e5890cbcef27f26130c4d531eb7bacc1ba /gdb/inferior.c | |
| parent | 77f730a2f5cef30db27d251d9006284252903d24 (diff) | |
| download | gdb-bed8455c71aa68852723b031f8f6c4adbd683c9c.zip gdb-bed8455c71aa68852723b031f8f6c4adbd683c9c.tar.gz gdb-bed8455c71aa68852723b031f8f6c4adbd683c9c.tar.bz2 | |
* inferior.c (prune_inferiors): Fix comment.
(remove_inferior_command): Call prune_program_spaces.
Diffstat (limited to 'gdb/inferior.c')
| -rw-r--r-- | gdb/inferior.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gdb/inferior.c b/gdb/inferior.c index 90d9649..23da0c7 100644 --- a/gdb/inferior.c +++ b/gdb/inferior.c @@ -475,8 +475,8 @@ have_live_inferiors (void) return inf != NULL; } -/* Prune away automatically added program spaces that aren't required - anymore. */ +/* Prune away any unused inferiors, and then prune away no longer used + program spaces. */ void prune_inferiors (void) @@ -788,6 +788,8 @@ remove_inferior_command (char *args, int from_tty) delete_inferior_1 (inf, 1); } + + prune_program_spaces (); } struct inferior * |