diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/Makefile.build | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/Makefile.build b/scripts/Makefile.build index 4a9a2cec0a1b..854608d42e85 100644 --- a/scripts/Makefile.build +++ b/scripts/Makefile.build | |||
| @@ -262,6 +262,9 @@ objtool_args = check | |||
| 262 | ifndef CONFIG_FRAME_POINTER | 262 | ifndef CONFIG_FRAME_POINTER |
| 263 | objtool_args += --no-fp | 263 | objtool_args += --no-fp |
| 264 | endif | 264 | endif |
| 265 | ifdef CONFIG_GCOV_KERNEL | ||
| 266 | objtool_args += --no-unreachable | ||
| 267 | endif | ||
| 265 | 268 | ||
| 266 | # 'OBJECT_FILES_NON_STANDARD := y': skip objtool checking for a directory | 269 | # 'OBJECT_FILES_NON_STANDARD := y': skip objtool checking for a directory |
| 267 | # 'OBJECT_FILES_NON_STANDARD_foo.o := 'y': skip objtool checking for a file | 270 | # 'OBJECT_FILES_NON_STANDARD_foo.o := 'y': skip objtool checking for a file |
