diff options
author | Evgeny Vereshchagin <evvers@ya.ru> | 2020-06-26 01:35:44 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-25 15:35:44 -0700 |
commit | 25cff8db8e95ca7025306840eacceb67f487d295 (patch) | |
tree | c9b4b70a7c718789d4546174924f0e0a42880f44 /infra/ci/build.py | |
parent | f8c9eec4cfcecaae9ede6a46229edb5723a42354 (diff) | |
download | oss-fuzz-25cff8db8e95ca7025306840eacceb67f487d295.tar.gz |
[util-linux] cover mnt_table_parse_stream (#4032)
* [util-linux] cover mnt_table_parse_stream
Waiting for https://github.com/karelzak/util-linux/pull/1068
* temporarily point OSS-Fuzz to evverx/util-linux
* make sure it can be built with sanitizer=coverage
Diffstat (limited to 'infra/ci/build.py')
-rwxr-xr-x | infra/ci/build.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/ci/build.py b/infra/ci/build.py index f93c18a09..98624d461 100755 --- a/infra/ci/build.py +++ b/infra/ci/build.py @@ -113,7 +113,7 @@ def build_project(project): sanitizer = os.getenv('SANITIZER') architecture = os.getenv('ARCHITECTURE') - if not should_build(project_yaml): + if sanitizer != 'coverage' and not should_build(project_yaml): print(('Specified build: engine: {0}, sanitizer: {1}, architecture: {2} ' 'not enabled for this project: {3}. skipping build.').format( engine, sanitizer, architecture, project)) @@ -123,7 +123,7 @@ def build_project(project): print('Building project', project) build_fuzzers(project, engine, sanitizer, architecture) - if engine != 'none': + if engine != 'none' and sanitizer != 'coverage': check_build(project, engine, sanitizer, architecture) |