add patch series

1 files changed, 28 insertions, 0 deletions

diff --git a/debian/patches/0007-startup-fix-the-declaration-of-the-_server-functions.patch b/debian/patches/0007-startup-fix-the-declaration-of-the-_server-functions.patch
new file mode 100644
index 00000000..4d901369
--- /dev/null
+++ b/debian/patches/0007-startup-fix-the-declaration-of-the-_server-functions.patch
@@ -0,0 +1,28 @@
+From 4565524594612d6cd8267e3a74806a0c362636d0 Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Wed, 18 Sep 2013 23:16:34 +0200
+Subject: [PATCH 7/8] startup: fix the declaration of the *_server functions
+
+* startup/startup.c (demuxer): Fix the declaration of the server functions.
+---
+ startup/startup.c | 4 +++-
+ 1 file changed, 3 insertions(+), 1 deletion(-)
+
+diff --git a/startup/startup.c b/startup/startup.c
+index 0a33855..fe8471d 100644
+--- a/startup/startup.c
++++ b/startup/startup.c
+@@ -501,7 +501,9 @@ static int
+ demuxer (mach_msg_header_t *inp,
+ 	 mach_msg_header_t *outp)
+ {
+-  extern int notify_server (), startup_server (), msg_server ();
++  extern int notify_server (mach_msg_header_t *, mach_msg_header_t *);
++  extern int startup_server (mach_msg_header_t *, mach_msg_header_t *);
++  extern int msg_server (mach_msg_header_t *, mach_msg_header_t *);
+ 
+   return (notify_server (inp, outp) ||
+ 	  msg_server (inp, outp) ||
+-- 
+2.1.0
+