This is an automated email from the git hooks/post-receive script. sthibault pushed a commit to branch upstream in repository hurd.
commit ec5086e248d9c75bea7399a3e501ee48b14c047c Author: Justus Winter <[email protected]> Date: Mon Dec 2 12:11:04 2013 +0100 proc: include the mig-generated server headers in main.c GNU MIG recently gained support for emitting x_server_routine declarations in the generated server header file. Using this declaration, the x_server_routine functions can be inlined into the demuxer function. * proc/main.c: Include the mig-generated server headers. --- proc/main.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/proc/main.c b/proc/main.c index 5d6dc21..73742ed 100644 --- a/proc/main.c +++ b/proc/main.c @@ -34,15 +34,15 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ const char *argp_program_version = STANDARD_HURD_VERSION (proc); +#include "process_S.h" +#include "notify_S.h" +#include "../libports/interrupt_S.h" +#include "proc_exc_S.h" + int message_demuxer (mach_msg_header_t *inp, mach_msg_header_t *outp) { - mig_routine_t process_server_routine (mach_msg_header_t *); - mig_routine_t notify_server_routine (mach_msg_header_t *); - mig_routine_t ports_interrupt_server_routine (mach_msg_header_t *); - mig_routine_t proc_exc_server_routine (mach_msg_header_t *); - mig_routine_t routine; if ((routine = process_server_routine (inp)) || (routine = notify_server_routine (inp)) || -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-hurd/hurd.git
