diff options
Diffstat (limited to 'arch/arm/vdso/Makefile')
| -rw-r--r-- | arch/arm/vdso/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/arm/vdso/Makefile b/arch/arm/vdso/Makefile index bb411821..f4efff9 100644 --- a/arch/arm/vdso/Makefile +++ b/arch/arm/vdso/Makefile @@ -30,6 +30,9 @@ CFLAGS_vgettimeofday.o = -O2 # Disable gcov profiling for VDSO code GCOV_PROFILE := n +# Prevents link failures: __sanitizer_cov_trace_pc() is not linked in. +KCOV_INSTRUMENT := n + # Force dependency $(obj)/vdso.o : $(obj)/vdso.so |
