diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-11-06 10:21:41 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-11-06 10:21:41 +0100 |
| commit | 0cd75361ac214dd29cae2db23d5245124814ccb5 (patch) | |
| tree | d01d13f80dfc74640d14003d9e14cbc914536b7e | |
| parent | bdf3405bf279eb90e41aed76047f947161f33b66 (diff) | |
drop obsolete patch
| -rw-r--r-- | debian/patches/75_dde_fixup.patch | 12 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 13 deletions
diff --git a/debian/patches/75_dde_fixup.patch b/debian/patches/75_dde_fixup.patch deleted file mode 100644 index c30e819..0000000 --- a/debian/patches/75_dde_fixup.patch +++ /dev/null @@ -1,12 +0,0 @@ -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> diff --git a/debian/patches/series b/debian/patches/series index c8a3f31..40ca28c 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,7 +3,6 @@ 50_initrd.patch 60_bigmem.patch 70_dde.patch -75_dde_fixup.patch #vm_cache_policy.patch #vm_page_cleanq.patch |