[kernel] r13946 - dists/trunk/linux-2.6/debian/config

[Maximilian Attems]

Author: maks
Date: Thu Jul 16 13:43:36 2009
New Revision: 13946

Log:
topconfig explicitly disable GCOV_KERNEL

defaults to no, kernel profiling not a user fun ;)

Modified:
   dists/trunk/linux-2.6/debian/config/config

Modified: dists/trunk/linux-2.6/debian/config/config
==============================================================================
--- dists/trunk/linux-2.6/debian/config/config	Wed Jul 15 16:14:41 2009	(r13945)
+++ dists/trunk/linux-2.6/debian/config/config	Thu Jul 16 13:43:36 2009	(r13946)
@@ -2963,6 +2963,11 @@
 ## end choice
 
 ##
+## file: kernel/gcov/Kconfig
+##
+# CONFIG_GCOV_KERNEL is not set
+
+##
 ## file: kernel/power/Kconfig
 ##
 CONFIG_PM=y