From 3f2e006b77f217bbf4a4cb9299cf248058a44ed3 Mon Sep 17 00:00:00 2001
From: John Gilmore <gnu@cygnus>
Date: Fri, 5 Apr 1991 09:02:10 +0000
Subject: *** empty log message ***

---
 gdb/core.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'gdb/core.c')

diff --git a/gdb/core.c b/gdb/core.c
index 2936e46..119f716 100644
--- a/gdb/core.c
+++ b/gdb/core.c
@@ -155,10 +155,9 @@ core_detach (args, from_tty)
      char *args;
      int from_tty;
 {
-  dont_repeat ();
   if (args)
     error ("Too many arguments");
-  pop_target ();
+  unpush_target (&core_ops);
   if (from_tty)
     printf ("No core file now.\n");
 }
@@ -170,6 +169,7 @@ core_file_command (filename, from_tty)
      char *filename;
      int from_tty;
 {
+  dont_repeat ();			/* Either way, seems bogus. */
   if (!filename)
     core_detach (filename, from_tty);
   else
-- 
cgit v1.1