diff options
author | jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com> | 2021-10-11 02:15:09 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-11 17:15:09 +1100 |
commit | 01f58c4e4fd6d1ea45e913fdbc5e37e4917764e1 (patch) | |
tree | dff96470d2b40e8f1c8ba726adf8426de3068591 | |
parent | 039a6f55584c95d46b99138bbdb561c0640382af (diff) | |
download | oss-fuzz-01f58c4e4fd6d1ea45e913fdbc5e37e4917764e1.tar.gz |
[cifuzz] Improve handling of coverage builds. (#6573)
Don't delete unaffected fuzzers and don't do bad build check.
-rw-r--r-- | infra/cifuzz/config_utils.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/infra/cifuzz/config_utils.py b/infra/cifuzz/config_utils.py index cc89a9099..bc73536bd 100644 --- a/infra/cifuzz/config_utils.py +++ b/infra/cifuzz/config_utils.py @@ -348,3 +348,7 @@ class BuildFuzzersConfig(BaseConfig): if self.upload_build: logging.info('Keeping all fuzzers because we are uploading build.') self.keep_unaffected_fuzz_targets = True + + if self.sanitizer == 'coverage': + self.keep_unaffected_fuzz_targets = True + self.bad_build_check = False |