X-Git-Url: https://git.openpandora.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=arch%2FKconfig;h=99193b1602324dc0ff55759cd4cd5d2e3abccdc9;hb=4271e08d8b799171af18d7864908ec444282efe5;hp=78a35e9dc10407e24eeeabe6f2331a9ff24b64b7;hpb=fbe0b8d5822a88e2e769a318eaf3134da5881769;p=pandora-kernel.git

diff --git a/arch/Kconfig b/arch/Kconfig
index 78a35e9dc104..99193b160232 100644
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -112,3 +112,5 @@ config HAVE_DMA_API_DEBUG
 
 config HAVE_DEFAULT_NO_SPIN_MUTEXES
 	bool
+
+source "kernel/gcov/Kconfig"