- /* If child process returned normally */
- if (WIFEXITED(status)) {
- if ((signum = WEXITSTATUS(status))) {
- if (cp)
- fprintf (fp, "%s: ", cp);
- fprintf (fp, "exit %d\n", 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);
- if (signum >= 0 && signum < sizeof(sigmsg) && sigmsg[signum] != NULL)
- fprintf (fp, " (%s%s)\n", sigmsg[signum],
- WCOREDUMP(status) ? ", core dumped" : "");
- else
- fprintf (fp, "%s\n", WCOREDUMP(status) ? " (core dumped)" : "");
+ if (WIFEXITED(status)) {
+ /* child process returned normally */
+ if ((signum = WEXITSTATUS(status))) {
+ if (cp) {
+ fprintf(fp, "%s: ", cp);
+ }
+ fprintf(fp, "exit %d\n", signum);
+ }
+ } else if (WIFSIGNALED(status)) {
+ /* child process terminated due to receipt of a signal */
+ signum = WTERMSIG(status);
+ if (signum == SIGINT) {
+ return status;
+ }
+ if (cp) {
+ fprintf(fp, "%s: ", cp);
+ }
+ fprintf(fp, "signal %d", signum);
+ if (signum >= 0 && signum < (int)sizeof(sigmsg) &&
+ sigmsg[signum] != NULL) {
+ fprintf(fp, " (%s%s)\n", sigmsg[signum],
+ WCOREDUMP(status) ?
+ ", core dumped" : "");
+ } else {
+ fprintf(fp, "%s\n", WCOREDUMP(status) ?
+ " (core dumped)" : "");
+ }