diff options
Diffstat (limited to 'test-skeleton.c')
| -rw-r--r-- | test-skeleton.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-skeleton.c b/test-skeleton.c index 130ac9359b..2069bfca28 100644 --- a/test-skeleton.c +++ b/test-skeleton.c @@ -89,6 +89,7 @@ delete_temp_files (void) /* Timeout handler. We kill the child and exit with an error. */ static void +__attribute__ ((noreturn)) timeout_handler (int sig __attribute__ ((unused))) { int killed; |