On 29/08/2019 16:23, Andy Lutomirski wrote: > On Thu, Aug 29, 2019 at 4:19 AM Vincenzo Frascino > <vincenzo.frascino@xxxxxxx> wrote: >> >> clock_gettime32 and clock_getres_time32 should be compiled only with a >> 32 bit vdso library. >> >> Exclude these symbols when BUILD_VDSO32 is not defined. > > Reviewed-by: Andy Lutomirski <luto@xxxxxxxxxx> > > BTW, this is a great patch: it's either correct or it won't build. I > like patches like that. > Thanks :) -- Regards, Vincenzo