Exec plugin: Set the "noreturn" attribute on the "exec_child" function.
authorFlorian Forster <octo@leeloo.lan.home.verplant.org>
Tue, 9 Mar 2010 17:50:55 +0000 (18:50 +0100)
committerFlorian Forster <octo@leeloo.lan.home.verplant.org>
Tue, 9 Mar 2010 17:50:55 +0000 (18:50 +0100)
src/exec.c

index 95a6831..9a307b9 100644 (file)
@@ -265,6 +265,7 @@ static int exec_config (oconfig_item_t *ci) /* {{{ */
   return (0);
 } /* int exec_config }}} */
 
+__attribute__((noreturn))
 static void exec_child (program_list_t *pl) /* {{{ */
 {
   int status;