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.