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 | f80222c15b47d8926f6b430bc07c395d94f1dcc0 (patch) | |
tree | 0840828313e5734b69fe4122521c1c5a8b8de27c | |
parent | 4b81f5ca920d716c08430583f5edb2c125f1f123 (diff) | |
download | gunmake-f80222c15b47d8926f6b430bc07c395d94f1dcc0.tar.gz |
Notify the compiler that exec_command() won't return.
-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; |