summaryrefslogtreecommitdiff
path: root/debian/patches
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-08-29 18:28:07 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-08-29 18:28:07 +0200
commit43f76a844a02dcc5df450a632bd5e35cf5bae0a6 (patch)
treea72b9bd92850e9c2a80197b96f69d1d966d19511 /debian/patches
parent7ebeb621bf74d8df53db7ca075d6a0f249b5b0aa (diff)
patches/70_dde.patch: Fix experimental.defs creation.
Diffstat (limited to 'debian/patches')
-rw-r--r--debian/patches/70_dde.patch3
1 files changed, 0 insertions, 3 deletions
diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch
index 048231b..0099393 100644
--- a/debian/patches/70_dde.patch
+++ b/debian/patches/70_dde.patch
@@ -347,9 +347,6 @@ index 0000000..6fca328
+#define KERNEL_SERVER 1
+
+#include <mach/experimental.defs>
-diff --git a/include/device/intr.defs b/include/device/intr.defs
-new file mode 100644
-index 0000000..368b96c
--- /dev/null
+++ b/include/mach/experimental.defs
@@ -0,0 +1,100 @@