diff options
Diffstat (limited to 'debian/patches/50_initrd.patch')
| -rw-r--r-- | debian/patches/50_initrd.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/50_initrd.patch b/debian/patches/50_initrd.patch index 58fb28a..448df19 100644 --- a/debian/patches/50_initrd.patch +++ b/debian/patches/50_initrd.patch @@ -12,8 +12,8 @@ Index: gnumach/Makefrag.am + device/ramdisk.c \ + device/ramdisk.h \ device/subrs.c \ + device/subrs.h \ device/tty.h - EXTRA_DIST += \ Index: gnumach/i386/i386at/conf.c =================================================================== --- gnumach.orig/i386/i386at/conf.c 2010-06-12 03:44:45.000000000 +0200 |