diff options
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/patches/50_initrd.patch | 2 |
2 files changed, 2 insertions, 1 deletions
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> |