From f4a0cee22d5ed2e5ba5e83c5f2f1695abb920f52 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sat, 1 Feb 2014 12:04:17 +0100
Subject: update 70_dde.patch

---
 debian/patches/70_dde.patch | 20 +++++++++-----------
 1 file changed, 9 insertions(+), 11 deletions(-)

(limited to 'debian/patches')

diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch
index a91abf2..6d488c3 100644
--- a/debian/patches/70_dde.patch
+++ b/debian/patches/70_dde.patch
@@ -742,17 +742,15 @@
  	console_map_init();
 --- a/kern/ipc_kobject.c
 +++ b/kern/ipc_kobject.c
-@@ -152,7 +152,8 @@ ipc_kobject_server(request)
- 				device_server_routine(),
- 				device_pager_server_routine(),
- 				mach4_server_routine(),
--				gnumach_server_routine();
-+				gnumach_server_routine(),
-+				experimental_server_routine();
- #if	MACH_DEBUG
- 	extern mig_routine_t	mach_debug_server_routine();
- #endif
-@@ -172,6 +173,7 @@ ipc_kobject_server(request)
+@@ -56,6 +56,7 @@
+ #include <device/device_pager.server.h>
+ #include <kern/mach4.server.h>
+ #include <kern/gnumach.server.h>
++#include <kern/experimental.server.h>
+ 
+ #if MACH_DEBUG
+ #include <kern/mach_debug.server.h>
+@@ -173,6 +174,7 @@ ipc_kobject_server(request)
  #endif	/* MACH_DEBUG */
  	 || (routine = mach4_server_routine(&request->ikm_header)) != 0
  	 || (routine = gnumach_server_routine(&request->ikm_header)) != 0
-- 
cgit v1.2.3