Mark timeout_handler with noreturn.
authordrepper <drepper>
Tue, 28 Nov 2000 06:36:05 +0000 (06:36 +0000)
committerdrepper <drepper>
Tue, 28 Nov 2000 06:36:05 +0000 (06:36 +0000)
test-skeleton.c

index 130ac93..2069bfc 100644 (file)
@@ -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;