diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-10-10 21:28:30 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-10-10 21:29:52 +0000 |
| commit | 9c70d86b8468412a7db2e29a81aeb2dee6062ec8 (patch) | |
| tree | b935e37094006aa7653b3e0d73c054a9c436d46b /debian | |
| parent | 102433b44dafd4cb37d6a6ee5ad36ba3a40e8046 (diff) | |
debian/patches/50_initrd.patch: Refresh.
Diffstat (limited to 'debian')
| -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> |