* inferior.c (prune_inferiors): Fix comment.

	(remove_inferior_command): Call prune_program_spaces.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index d3ee62f3b6ae3f4a5a072f2f185183719005212f..d7da65642cf0ae7cc771581ca8db462dad5be253 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2014-05-17  Doug Evans  <xdje42@gmail.com>
+
+       * inferior.c (prune_inferiors): Fix comment.
+       (remove_inferior_command): Call prune_program_spaces.
+
 2014-05-16  Doug Evans  <dje@google.com>
 
        New command line option -D.

diff --git a/gdb/inferior.c b/gdb/inferior.c
index 90d9649ec9e4c299df6be661e40d019591526b05..23da0c7fe4d95a03d8366bfc2d2a9aa977d8d5f0 100644 (file)
--- 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 *