diff options
Diffstat (limited to 'target/linux')
| -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 16daecf321..201b68dddf 100644 --- a/target/linux/generic/config-filter +++ b/target/linux/generic/config-filter @@ -9,6 +9,7 @@ CONFIG_CLANG_VERSION=.* # CONFIG_INLINE_.* is not set # CONFIG_LD_.* is not set CONFIG_LLD_VERSION=.* +CONFIG_PAHOLE_VERSION=.* CONFIG_PLUGIN_HOSTCC=".*" # CONFIG_SET_FS is not set # CONFIG_TASKS_.* is not set |