diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-01-21 18:16:16 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:44:47 +0200 |
| commit | 30cacb63f8d01ca667a2d66eb9734c11db26a80c (patch) | |
| tree | 49abc9769571a8b7839642a0a6570dd6fa745ec7 /gnu/packages/patches/gnumach-support-noide.patch | |
| parent | 58ccd118573d56275ac4ca5b8239c9ace7e25a3a (diff) | |
gnu: gnumach: Update to 1.8-0.2556fde.
* gnu/packages/hurd.scm (gnumach-headers): Update to latest master,
2556fdece900d67529d5eda01f1bdaae4ffe96b0.
* gnu/packages/patches/gnumach-fix-i686-linux-build.patch,
gnu/packages/patches/gnumach-fix-task_info.patch,
gnu/packages/patches/gnumach-support-noide.patch: Remove files.
* gnu/local.mk (dist_patch_DATA): Remove them.
(gnumach)[source]: Do not use them.
Change-Id: Ifc6d15f7889854cd85698f4133f70d2046ca4bc8
Diffstat (limited to 'gnu/packages/patches/gnumach-support-noide.patch')
| -rw-r--r-- | gnu/packages/patches/gnumach-support-noide.patch | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/gnu/packages/patches/gnumach-support-noide.patch b/gnu/packages/patches/gnumach-support-noide.patch deleted file mode 100644 index 723d4bcac4..0000000000 --- a/gnu/packages/patches/gnumach-support-noide.patch +++ /dev/null @@ -1,25 +0,0 @@ -Upstream status: Taken from Debian/upsream. - - https://salsa.debian.org/hurd-team/gnumach/-/blob/master/debian/patches/90_noide.patch - -This supports using `noide' on the gnumach command line, disabling -gnumach IDE support and thus forcing use of rumdisk. - ---- - linux/dev/glue/block.c | 5 ++++- - 1 file changed, 4 insertions(+), 1 deletion(-) - ---- a/linux/dev/glue/block.c -+++ b/linux/dev/glue/block.c -@@ -207,7 +207,10 @@ int - blk_dev_init () - { - #ifdef CONFIG_BLK_DEV_IDE -- ide_init (); -+ extern char *kernel_cmdline; -+ if (strncmp(kernel_cmdline, "noide", 5) && -+ !strstr(kernel_cmdline, " noide")) -+ ide_init (); - #endif - #ifdef CONFIG_BLK_DEV_FD - floppy_init (); |