[SCM] Debian GNU Mach packaging branch, master, updated. debian/2%1.3.99.dfsg.git20111010-1-58-g3c6db92

[Samuel Thibault]

The following commit has been merged in the master branch:
commit c4f7d23807d94d500adf31768c7fb47d8be4d7d4
Author: Samuel Thibault <address@hidden>
Date:   Sat Feb 18 22:39:02 2012 +0100

    Fix build and figures

diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch
index 0a3ae6d..e1b05ca 100644
--- a/debian/patches/70_dde.patch
+++ b/debian/patches/70_dde.patch
@@ -304,7 +304,7 @@ new file mode 100644
 index 0000000..368b96c
 --- /dev/null
 +++ b/include/mach/experimental.defs
-@@ -0,0 +1,90 @@
+@@ -0,0 +1,94 @@
 +/* 
 + * Mach Operating System
 + * Copyright (c) 1991,1990,1989 Carnegie Mellon University
@@ -334,10 +334,14 @@ index 0000000..368b96c
 +subsystem experimental 424242;
 +
 +#include <mach/std_types.defs>
++#include <mach/mach_types.defs>
 +
 +serverprefix do_;
 +serverdemux intr_notify_server;
 +
++type notify_port_t = MACH_MSG_TYPE_MOVE_SEND_ONCE
++      ctype: mach_port_t
++
 +simpleroutine mach_intr_notify(
 +              notify  : notify_port_t;
 +              name    : int);
@@ -415,7 +419,7 @@ index 0000000..3c0e1b8
 +} mach_intr_notification_t;
 +
 +#define INTR_NOTIFY_MSGH_SEQNO 0
-+#define MACH_INTR_NOTIFY 100
++#define MACH_INTR_NOTIFY 424242
 +
 +#endif
 diff --git a/kern/startup.c b/kern/startup.c

-- 
Debian GNU Mach packaging