[PATCH glibc] Enable new device_open_new RPC in libmachuser.

[Samuel Thibault]

Applied, thanks!

Flavio Cruz, le dim. 07 mai 2023 13:13:23 -0400, a ecrit:
> ---
>  mach/Makefile | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
> 
> diff --git a/mach/Makefile b/mach/Makefile
> index a5d1252f95..2c09c29406 100644
> --- a/mach/Makefile
> +++ b/mach/Makefile
> @@ -123,7 +123,8 @@ user-interfaces := $(filter-out $(mach-interface-list:%=mach/%) \
>  endif
>  
>  # For some reason, the calls in this file are `protected' by an ifdef.
> -MIGFLAGS-mach/mach4=-DMACH_PCSAMPLE
> +MIGFLAGS-mach/mach4 = -DMACH_PCSAMPLE
> +MIGFLAGS-device/device = -DDEVICE_ENABLE_DEVICE_OPEN_NEW
>  
>  # Make the MiG stubs for $(mach-shortcuts) be CALL_rpc.
>  migdefines += $(foreach call,$(mach-shortcuts),-D$(call)=$(call)_rpc)
> -- 
> 2.39.2
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.