diff options
author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2023-05-19 14:03:47 +0200 |
---|---|---|
committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-07-13 18:59:17 +0200 |
commit | bbfb41ed9dff845e12ebd597026729f637903ac4 (patch) | |
tree | d4ddc615ca33ca685a8ac300a6d9fa430d827bea /.gitignore | |
parent | c22c29b0c4821ebe2c66a6c76562a41d33ff8392 (diff) | |
download | guix-bbfb41ed9dff845e12ebd597026729f637903ac4.tar.gz |
gnu: gnumach: Support "noide" argument.
* gnu/packages/patches/gnumach-support-noide.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/hurd.scm (gnumach-headers): Use it. * doc/guix.texi (Bootloader Configuration): Document it. Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions