diff options
author | Oliver Chang <oliverchang@users.noreply.github.com> | 2020-04-09 12:38:46 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-09 12:38:46 +1000 |
commit | 81febde566b1c63ed1198beb8d6f98c706cd324d (patch) | |
tree | 7a374a570b0995d19204610ea2b0d3e9f1cee580 /infra/build_specified_commit.py | |
parent | 149bb8bee7938d978e554b8f9bf913df8d84a67f (diff) | |
download | oss-fuzz-81febde566b1c63ed1198beb8d6f98c706cd324d.tar.gz |
Log output when we fail to detect main repo. (#3599)
Diffstat (limited to 'infra/build_specified_commit.py')
-rw-r--r-- | infra/build_specified_commit.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/infra/build_specified_commit.py b/infra/build_specified_commit.py index fb570726a..515dae24c 100644 --- a/infra/build_specified_commit.py +++ b/infra/build_specified_commit.py @@ -92,4 +92,6 @@ def detect_main_repo(project_name, repo_name=None, commit=None): match = re.search(r'\bDetected repo: ([^ ]+) ([^ ]+)', out.rstrip()) if match and match.group(1) and match.group(2): return match.group(1), match.group(2) + + logging.error('Failed to detect repo:\n%s', out) return None, None |