mirrors/make
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/make.git synced 2024-12-29 00:05:58 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Notify the compiler that exec_command() won't return.

Browse source
This commit is contained in:
Paul Smith 2013-07-14 19:18:46 -04:00
parent 4b81f5ca92
commit f80222c15b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
job.h
View file

@ -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); void child_execute_job (int stdin_fd, int stdout_fd, char **argv, char **envp);
#endif #endif
#ifdef _AMIGA #ifdef _AMIGA
void exec_command (char **argv); void exec_command (char **argv) __attribute__ ((noreturn));
#elif defined(__EMX__) #elif defined(__EMX__)
int exec_command (char **argv, char **envp); int exec_command (char **argv, char **envp);
#else #else
void exec_command (char **argv, char **envp); void exec_command (char **argv, char **envp) __attribute__ ((noreturn));
#endif #endif
extern unsigned int job_slots_used; extern unsigned int job_slots_used;