summaryrefslogtreecommitdiff
path: root/debian/patches/75_dde_fixup.patch
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-09-06 17:27:20 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-09-06 17:27:20 +0200
commit6f1a344b7f9909d2d6fc2f0ef89b7a2799720c5c (patch)
tree16bdb77a8b43e2146334a300298d79f808805173 /debian/patches/75_dde_fixup.patch
parentff88faeaa871a74e4b73cd6f231b6324124fd605 (diff)
sync upstream packaging
Diffstat (limited to 'debian/patches/75_dde_fixup.patch')
-rw-r--r--debian/patches/75_dde_fixup.patch12
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/patches/75_dde_fixup.patch b/debian/patches/75_dde_fixup.patch
new file mode 100644
index 0000000..c30e819
--- /dev/null
+++ b/debian/patches/75_dde_fixup.patch
@@ -0,0 +1,12 @@
+diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c
+index 709ec9e..1d59f0c 100644
+--- a/kern/ipc_kobject.c
++++ b/kern/ipc_kobject.c
+@@ -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>