summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2012-02-15 02:44:50 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2012-02-15 02:44:50 +0100
commit9d84db80a1f18a78c61e3bbc1afef1daa336512c (patch)
tree204a22bf6f4e68a3b7e4f9b0a1684a506681991f
parentfaa06b2e139bff74917e991274d5a990c4d3275f (diff)
Add experimental.defs to gnuamch-dev
-rw-r--r--debian/patches/70_dde.patch12
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch
index cea9dd0..0a3ae6d 100644
--- a/debian/patches/70_dde.patch
+++ b/debian/patches/70_dde.patch
@@ -704,3 +704,15 @@ index 95b499b..c360af6 100644
#endif
#ifndef MACH
console_map_init();
+diff --git a/Makefrag.am b/Makefrag.am
+index be7b4f4..7ecda30 100644
+--- a/Makefrag.am
++++ b/Makefrag.am
+@@ -355,6 +355,7 @@ include_mach_HEADERS = \
+ include/mach/memory_object_default.defs \
+ include/mach/notify.defs \
+ include/mach/std_types.defs \
++ include/mach/experimental.defs \
+ include/mach/alert.h \
+ include/mach/boolean.h \
+ include/mach/boot.h \