diff options
-rw-r--r-- | target/linux/generic/config-filter | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/target/linux/generic/config-filter b/target/linux/generic/config-filter index 201b68dddf..e7aa90f8b5 100644 --- a/target/linux/generic/config-filter +++ b/target/linux/generic/config-filter @@ -10,6 +10,7 @@ CONFIG_CLANG_VERSION=.* # CONFIG_LD_.* is not set CONFIG_LLD_VERSION=.* CONFIG_PAHOLE_VERSION=.* +CONFIG_PAHOLE_HAS_SPLIT_BTF=.* CONFIG_PLUGIN_HOSTCC=".*" # CONFIG_SET_FS is not set # CONFIG_TASKS_.* is not set |