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.