2 files changed, 5 insertions, 14 deletions

diff --git a/kernel/gcov/Kconfig b/kernel/gcov/Kconfig
index 1276aabaab55..1e3823fa799b 100644
--- a/kernel/gcov/Kconfig
+++ b/kernel/gcov/Kconfig
@@ -53,23 +53,16 @@ config GCOV_PROFILE_ALL
 choice
         prompt "Specify GCOV format"
         depends on GCOV_KERNEL
-        default GCOV_FORMAT_AUTODETECT
         ---help---
-        The gcov format is usually determined by the GCC version, but there are
+        The gcov format is usually determined by the GCC version, and the
+        default is chosen according to your GCC version. However, there are
         exceptions where format changes are integrated in lower-version GCCs.
-        In such a case use this option to adjust the format used in the kernel
-        accordingly.
-
-        If unsure, choose "Autodetect".
-
-config GCOV_FORMAT_AUTODETECT
-        bool "Autodetect"
-        ---help---
-        Select this option to use the format that corresponds to your GCC
-        version.
+        In such a case, change this option to adjust the format used in the
+        kernel accordingly.
 
 config GCOV_FORMAT_3_4
         bool "GCC 3.4 format"
+        depends on CC_IS_GCC && GCC_VERSION < 40700
         ---help---
         Select this option to use the format defined by GCC 3.4.
 
diff --git a/kernel/gcov/Makefile b/kernel/gcov/Makefile
index c6c50e5c680e..ff06d64df397 100644
--- a/kernel/gcov/Makefile
+++ b/kernel/gcov/Makefile
@@ -4,5 +4,3 @@ ccflags-y := -DSRCTREE='"$(srctree)"' -DOBJTREE='"$(objtree)"'
 obj-y := base.o fs.o
 obj-$(CONFIG_GCOV_FORMAT_3_4) += gcc_3_4.o
 obj-$(CONFIG_GCOV_FORMAT_4_7) += gcc_4_7.o
-obj-$(CONFIG_GCOV_FORMAT_AUTODETECT) += $(call cc-ifversion, -lt, 0407, \
-                                                        gcc_3_4.o, gcc_4_7.o)