summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Smith <psmith@gnu.org>2013-07-14 19:18:46 -0400
committerPaul Smith <psmith@gnu.org>2013-07-14 19:18:46 -0400
commitf80222c15b47d8926f6b430bc07c395d94f1dcc0 (patch)
tree0840828313e5734b69fe4122521c1c5a8b8de27c
parent4b81f5ca920d716c08430583f5edb2c125f1f123 (diff)
downloadgunmake-f80222c15b47d8926f6b430bc07c395d94f1dcc0.tar.gz
Notify the compiler that exec_command() won't return.
-rw-r--r--job.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/job.h b/job.h
index c9902f0..ba785a7 100644
--- a/job.h
+++ b/job.h
@@ -131,11 +131,11 @@ int child_execute_job (int stdin_fd, int stdout_fd, char **argv, char **envp);
void child_execute_job (int stdin_fd, int stdout_fd, char **argv, char **envp);
#endif
#ifdef _AMIGA
-void exec_command (char **argv);
+void exec_command (char **argv) __attribute__ ((noreturn));
#elif defined(__EMX__)
int exec_command (char **argv, char **envp);
#else
-void exec_command (char **argv, char **envp);
+void exec_command (char **argv, char **envp) __attribute__ ((noreturn));
#endif
extern unsigned int job_slots_used;