diff options
| author | Abhishek Arya <inferno@chromium.org> | 2021-01-20 11:37:37 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-20 11:37:37 -0800 |
| commit | 26dd144e52d46b49971e6dd35b603dc2148bf241 (patch) | |
| tree | 8f2ea5e03a1d651bdc2671e979b7a03966079765 /infra/ci | |
| parent | c3087b701810d86b782228346d7659eb3a3bf004 (diff) | |
| download | oss-fuzz-26dd144e52d46b49971e6dd35b603dc2148bf241.tar.gz | |
Build modified projects as well when infra is modified. (#5019)
Diffstat (limited to 'infra/ci')
| -rwxr-xr-x | infra/ci/build.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/infra/ci/build.py b/infra/ci/build.py index a1a22836a..30ff4ea49 100755 --- a/infra/ci/build.py +++ b/infra/ci/build.py @@ -239,7 +239,8 @@ def main(): infra_changed = is_infra_changed() if infra_changed: print('Pulling and building base images first.') - return build_base_images() + if build_base_images(): + return 1 result = build_modified_projects() if result == BuildModifiedProjectsResult.BUILD_FAIL: |