From: Paul Smith <psmith@gnu.org>
Date: Sun, 14 Jul 2013 23:18:46 +0000 (-0400)
Subject: Notify the compiler that exec_command() won't return.
X-Git-Tag: 3.99.91~14
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f80222c15b47d8926f6b430bc07c395d94f1dcc0;p=thirdparty%2Fmake.git

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

diff --git a/job.h b/job.h
index c9902f01..ba785a7b 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;