Re: [PATCH 5/7] adjust rdxtree key to the correct size

[Samuel Thibault]

Applied, thanks!

Luca Dariz, le lun. 16 janv. 2023 11:58:55 +0100, a ecrit:
> * Makefile.am: define RDXTREE_KEY_32
> ---
>  Makefile.am | 3 +++
>  1 file changed, 3 insertions(+)
> 
> diff --git a/Makefile.am b/Makefile.am
> index fb557ba6..54fcf685 100644
> --- a/Makefile.am
> +++ b/Makefile.am
> @@ -82,6 +82,9 @@ endif
>  # We do not support or need position-independent
>  AM_CFLAGS += \
>       -no-pie -fno-PIE -fno-pie -fno-pic
> +
> +# This must be the same size as port names, see e.g. ipc/ipc_entry.c
> +AM_CFLAGS += -DRDXTREE_KEY_32
>  
>  #
>  # Silent build support.
> -- 
> 2.30.2
> 
> 

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