The following commit has been merged in the master branch:
commit 7d542ccfde03b235fe3f08d8f922c14725ddf982
Author: Samuel Thibault <[email protected]>
Date: Mon Oct 10 21:28:30 2011 +0000
debian/patches/50_initrd.patch: Refresh.
diff --git a/debian/changelog b/debian/changelog
index 7579602..eb12ab4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
gnumach (2:1.3.99.dfsg.git20111010-1) UNRELEASED; urgency=low
* New upstream snapshot.
+ - debian/patches/50_initrd.patch: Refresh.
* debian/control:
- Do not make -dbg package depend on the non-dbg packages.
- Make gnumach-image-* packages depend on gnumach-common
diff --git a/debian/patches/50_initrd.patch b/debian/patches/50_initrd.patch
index 448df19..affcb7f 100644
--- a/debian/patches/50_initrd.patch
+++ b/debian/patches/50_initrd.patch
@@ -65,8 +65,8 @@ Index: gnumach/kern/bootstrap.c
--- gnumach.orig/kern/bootstrap.c 2010-06-12 03:44:44.000000000 +0200
+++ gnumach/kern/bootstrap.c 2010-06-12 03:45:00.000000000 +0200
@@ -48,6 +48,7 @@
- #include <vm/vm_kern.h>
#include <vm/vm_user.h>
+ #include <vm/pmap.h>
#include <device/device_port.h>
+#include <device/ramdisk.h>
--
Debian GNU Mach packaging
