re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / arch / i386 / arch.mak
1 COMPAT_SRC_DIRS = compat/time32