diff options
Diffstat (limited to 'kernel/gcov/Kconfig')
| -rw-r--r-- | kernel/gcov/Kconfig | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/kernel/gcov/Kconfig b/kernel/gcov/Kconfig index d04ce8a..d4da55d 100644 --- a/kernel/gcov/Kconfig +++ b/kernel/gcov/Kconfig @@ -46,34 +46,4 @@ config GCOV_PROFILE_ALL larger and run slower. Also be sure to exclude files from profiling which are not linked to the kernel image to prevent linker errors. -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 - 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. - -config GCOV_FORMAT_3_4 - bool "GCC 3.4 format" - ---help--- - Select this option to use the format defined by GCC 3.4. - -config GCOV_FORMAT_4_7 - bool "GCC 4.7 format" - ---help--- - Select this option to use the format defined by GCC 4.7. - -endchoice - endmenu |