Debug message (print signal number when caught)

diff --git a/dump/main.c b/dump/main.c
index 3f114c9e921ada33c97ab6ab10f1685f46abb649..13d15be1b5a355693ef7a82eb73d44ce316680d4 100644 (file)
--- a/dump/main.c
+++ b/dump/main.c
@@ -41,7 +41,7 @@
 
 #ifndef lint
 static const char rcsid[] =
-       "$Id: main.c,v 1.43 2001/04/10 13:42:22 stelian Exp $";
+       "$Id: main.c,v 1.44 2001/04/11 15:24:03 stelian Exp $";
 #endif /* not lint */
 
 #include <config.h>
@@ -917,7 +917,7 @@ sig(int signo)
        case SIGTRAP:
                if (pipeout)
                        quit("Signal on pipe: cannot recover\n");
-               msg("Rewriting attempted as response to unknown signal.\n");
+               msg("Rewriting attempted as response to unknown signal: %d.\n", signo);
                (void)fflush(stderr);
                (void)fflush(stdout);
                close_rewind();