* corelow.c (core_open): Print GDB signal name instead of target

	signal number.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index c4a98da..8a291ac 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2013-06-17  Pierre Muller  <muller@sourceware.org>
+
+       * corelow.c (core_open): Print GDB signal name instead of target
+       signal number.
+
 2013-06-17  Mike Frysinger  <vapier@gentoo.org>
 
        * .gitignore: Add /gcore.

diff --git a/gdb/corelow.c b/gdb/corelow.c
index 0bfa743..0aa5d97 100644 (file)
--- a/gdb/corelow.c
+++ b/gdb/corelow.c
@@ -444,8 +444,8 @@ core_open (char *filename, int from_tty)
                                                               siggy)
                             : gdb_signal_from_host (siggy));
 
-      printf_filtered (_("Program terminated with signal %d, %s.\n"),
-                      siggy, gdb_signal_to_string (sig));
+      printf_filtered (_("Program terminated with signal %s, %s.\n"),
+                      gdb_signal_to_name (sig), gdb_signal_to_string (sig));
     }
 
   /* Fetch all registers from core file.  */