- fprintf (fp, "exit %d\n", signum);
- }
- return signum;
- } else if (WIFSIGNALED(status)) {
- /* If child process terminated due to receipt of a signal */
- signum = WTERMSIG(status);
- if (signum != SIGINT) {
- if (cp)
- fprintf (fp, "%s: ", cp);
- fprintf (fp, "signal %d", signum);
- errno = 0;
- signame = strsignal(signum);
- if (errno)
- signame = NULL;
- if (signame)
- fprintf (fp, " (%s%s)\n", signame,
- WCOREDUMP(status) ? ", core dumped" : "");
- else
- fprintf (fp, "%s\n", WCOREDUMP(status) ? " (core dumped)" : "");