The following commit has been merged in the master branch:
commit f8b9426c87a67b036169339f3ca49cd1d5bbeca3
Author: Samuel Thibault <[email protected]>
Date: Wed Feb 15 02:44:50 2012 +0100
Add experimental.defs to gnuamch-dev
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 \
--
Debian GNU Mach packaging
