diff options
author | Paul Smith <psmith@gnu.org> | 2013-07-14 19:18:46 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-07-14 19:18:46 -0400 |
commit | e3fd703260b97fdac59733bc5408374b31791fcd (patch) | |
tree | 0840828313e5734b69fe4122521c1c5a8b8de27c /job.h | |
parent | 1d52c4bc7d6a47b02720a26f5e580fadea958fc7 (diff) | |
download | make-e3fd703260b97fdac59733bc5408374b31791fcd.tar.gz |
Notify the compiler that exec_command() won't return.
Diffstat (limited to 'job.h')
-rw-r--r-- | job.h | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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; |