diff options
Diffstat (limited to 'tests/mini-record-range.c')
| -rw-r--r-- | tests/mini-record-range.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/mini-record-range.c b/tests/mini-record-range.c index f0f0b25723..4c4242a6ea 100644 --- a/tests/mini-record-range.c +++ b/tests/mini-record-range.c @@ -177,6 +177,7 @@ pid_t child; static void terminate(void) { + assert(child); kill(child, SIGTERM); exit(1); } |