diff options
-rw-r--r-- | kleaf/impl/kernel_build.bzl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/kleaf/impl/kernel_build.bzl b/kleaf/impl/kernel_build.bzl index be28e6c..fb50b20 100644 --- a/kleaf/impl/kernel_build.bzl +++ b/kleaf/impl/kernel_build.bzl @@ -2195,6 +2195,13 @@ def _kmi_symbol_list_violations_check(ctx, modules_staging_archive): IGNORED because --kgdb is set!".format(this_label = ctx.label)) return None + # Skip for --gcov builds. + if ctx.attr._gcov[BuildSettingInfo].value: + # buildifier: disable=print + print("\nWARNING: {this_label}: Attribute kmi_symbol_list_strict_mode\ + IGNORED because --gcov is set!".format(this_label = ctx.label)) + return None + inputs = [ modules_staging_archive, ] |