diff options
| -rw-r--r-- | scripts/Makefile.gcc-plugins | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Makefile.gcc-plugins b/scripts/Makefile.gcc-plugins index b2a95af7df18..7f5c86246138 100644 --- a/scripts/Makefile.gcc-plugins +++ b/scripts/Makefile.gcc-plugins | |||
| @@ -14,7 +14,7 @@ ifdef CONFIG_GCC_PLUGINS | |||
| 14 | endif | 14 | endif |
| 15 | 15 | ||
| 16 | ifdef CONFIG_GCC_PLUGIN_SANCOV | 16 | ifdef CONFIG_GCC_PLUGIN_SANCOV |
| 17 | ifeq ($(CFLAGS_KCOV),) | 17 | ifeq ($(strip $(CFLAGS_KCOV)),) |
| 18 | # It is needed because of the gcc-plugin.sh and gcc version checks. | 18 | # It is needed because of the gcc-plugin.sh and gcc version checks. |
| 19 | gcc-plugin-$(CONFIG_GCC_PLUGIN_SANCOV) += sancov_plugin.so | 19 | gcc-plugin-$(CONFIG_GCC_PLUGIN_SANCOV) += sancov_plugin.so |
| 20 | 20 | ||