From 9c70d86b8468412a7db2e29a81aeb2dee6062ec8 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Mon, 10 Oct 2011 21:28:30 +0000
Subject: debian/patches/50_initrd.patch: Refresh.

---
 debian/changelog               | 1 +
 debian/patches/50_initrd.patch | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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>
  
-- 
cgit v1.2.3