diff options
Diffstat (limited to 'test/main.c')
| -rw-r--r-- | test/main.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/main.c b/test/main.c index 2854d1c..0e14d44 100644 --- a/test/main.c +++ b/test/main.c @@ -42,7 +42,9 @@ int main(void) if (result < 0) { if (errno == EINTR) { kill(pid, SIGKILL); - waitpid(pid, &status, 0); + if (waitpid(pid, &status, 0) < 0) { + fprintf(stderr, " CRASH %s (waitpid after SIGKILL failed: %s)\n", tests[i].name, strerror(errno)); + } fprintf(stderr, " CRASH %s (timeout)\n", tests[i].name); crashed++; } else { |