On Wednesday 10 September 2014 16:45:07 Riku Voipio wrote:

On 8 September 2014 16:25, Arnd Bergmann [off-list ref] wrote:

quoted

On Monday 08 September 2014 15:59:34 Riku Voipio wrote:

quoted

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

quoted

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?

Without that part it looks ok to me.

	Arnd