[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH hurd 1/9] Makeconf: handle the gnumach protocol
From: |
Samuel Thibault |
Subject: |
Re: [PATCH hurd 1/9] Makeconf: handle the gnumach protocol |
Date: |
Fri, 21 Nov 2014 01:34:31 +0100 |
User-agent: |
Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30) |
Justus Winter, le Fri 07 Nov 2014 17:31:54 +0100, a écrit :
> * Makeconf (mach_defs_names): Add `gnumach'.
Ack.
> ---
> Makeconf | 4 +++-
> 1 file changed, 3 insertions(+), 1 deletion(-)
>
> diff --git a/Makeconf b/Makeconf
> index 32eec13..f0d3fe3 100644
> --- a/Makeconf
> +++ b/Makeconf
> @@ -575,7 +575,9 @@ vpath %.defs $(top_srcdir)/hurd
> # These we want to find in the libc include directory...
> mach_defs_names = bootstrap exc mach mach4 \
> mach_host mach_port mach_timer_reply memory_object \
> - memory_object_default notify
> + memory_object_default notify \
> + gnumach \
> +
> mach_debug_defs_names = mach_debug
> device_defs_names = dev_forward device device_reply device_request
>
> --
> 2.1.1
>
--
Samuel
<s> cool, j'ai un rapport a rendre pour le 31 decembre a minuit...
-+- #ens-mim - bonne année ! -+-
- [PATCH hurd 5/9] boot: remove unused function `boot_script_read_file', (continued)
- [PATCH hurd 5/9] boot: remove unused function `boot_script_read_file', Justus Winter, 2014/11/07
- [PATCH hurd 6/9] boot: drop obsolete device procedures, Justus Winter, 2014/11/07
- [PATCH hurd 7/9] boot: support ds_device_get_status with flavor DEV_GET_RECORDS, Justus Winter, 2014/11/07
- [PATCH hurd 8/9] boot: implement pseudo-time device, Justus Winter, 2014/11/07
- [PATCH hurd 9/9] boot: improve the demuxer, Justus Winter, 2014/11/07
- Re: [PATCH hurd 1/9] Makeconf: handle the gnumach protocol,
Samuel Thibault <=