diff options
| author |  Oliver Chang <oliverchang@users.noreply.github.com> | 2020-04-24 15:37:22 +1000 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-04-24 15:37:22 +1000 |
| commit | e939fe3ced4e93c38cdefb402dc2e11ab9cbc2a9 (patch) | |
| tree | 60a69bf8beeba8cb32fcd52d6ea60f760f0c475a /infra/build_specified_commit.py | |
| parent | a6dae359337470b9ddbcaae6e53d961e11edad14 (diff) | |
bisector: Don't attempt to checkout old OSS-Fuzz revision if it does not exist. (#3707)
Diffstat (limited to 'infra/build_specified_commit.py')
| -rw-r--r-- | infra/build_specified_commit.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/infra/build_specified_commit.py b/infra/build_specified_commit.py index 30f4b43c..9b59cd08 100644 --- a/infra/build_specified_commit.py +++ b/infra/build_specified_commit.py @@ -127,6 +127,9 @@ def build_fuzzers_from_commit(commit, build_repo_manager, host_src_path, ], check_result=True) oss_fuzz_commit = oss_fuzz_commit.strip() + if not oss_fuzz_commit: + logging.warning('No suitable earlier OSS-Fuzz commit found.') + break logging.info('Build failed. Retrying on earlier OSS-Fuzz commit %s.', oss_fuzz_commit) |