Fix for PR 13484:

	* corefile.c (reopen_exec_file): Reopen the exec file if
	it has changed.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ea454ebf7e7d3b135bfe442847d8945429df18ff..da48741822aeceea3646e38631ecfaf79de2156f 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+Wed May 13 20:58:02 1998  Mark Alexander  <marka@cygnus.com>
+
+       * corefile.c (reopen_exec_file): Reopen the exec file if
+       it has changed.
+
 Wed May 13 15:22:02 1998  Mark Alexander  <marka@cygnus.com>
 
        * sparc-tdep.c (fetch_instruction): New function.

diff --git a/gdb/corefile.c b/gdb/corefile.c
index ddaee62632d9f5ac591ce984162e074f5511f471..7f66ec129ecd6fcc3a01e33460ff4bacbdf584d7 100644 (file)
--- a/gdb/corefile.c
+++ b/gdb/corefile.c
@@ -33,6 +33,7 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
 #include "gdbcore.h"
 #include "dis-asm.h"
 #include "language.h"
+#include "gdb_stat.h"
 
 extern char registers[];
 
@@ -149,6 +150,24 @@ reopen_exec_file ()
 #if 0 /* FIXME */
   if (exec_bfd)
     bfd_reopen (exec_bfd);
+#else
+  char *filename;
+  int res;
+  struct stat st;
+  long mtime;
+
+  /* Don't do anything if the current target isn't exec. */
+  if (exec_bfd == NULL || strcmp (target_shortname, "exec") != 0)
+    return;
+ 
+  /* If the timestamp of the exec file has changed, reopen it. */
+  filename = strdup (bfd_get_filename (exec_bfd));
+  make_cleanup (free, filename);
+  mtime = bfd_get_mtime(exec_bfd);
+  res = stat (filename, &st);
+
+  if (mtime && mtime != st.st_mtime)
+    exec_file_command (filename, 0);
 #endif
 }
 \f