On 8 September 2014 16:25, Arnd Bergmann arnd@arndb.de wrote:
On Monday 08 September 2014 15:59:34 Riku Voipio wrote:
diff --git a/arch/arm/kernel/Makefile b/arch/arm/kernel/Makefile index 38ddd9f..979c4e9 100644 --- a/arch/arm/kernel/Makefile +++ b/arch/arm/kernel/Makefile @@ -5,6 +5,8 @@ CPPFLAGS_vmlinux.lds := -DTEXT_OFFSET=$(TEXT_OFFSET) AFLAGS_head.o := -DTEXT_OFFSET=$(TEXT_OFFSET)
+GCOV_PROFILE := n
ifdef CONFIG_FUNCTION_TRACER CFLAGS_REMOVE_ftrace.o = -pg CFLAGS_REMOVE_insn.o = -pg
This part doesn't look right: you don't want to disable profiling for the entire directory, only for the parts on which it cannot be used.
You are right. I can just remove that hunk and I can both boot and record coverage info from arch/arm/kernel. Any other comments, or should I just resubmit without arch/arm/kernel bits?
Riku