diff options
author | Leo Neat <leosneat@gmail.com> | 2020-02-05 11:32:37 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-05 11:32:37 -0800 |
commit | f0df2d675c9eda440a52fc8480f9355a1fe8fdf9 (patch) | |
tree | 9e96e3f213c973fe547bec7b12509f81ec592a50 /infra/build_specified_commit.py | |
parent | 2a5d80d3b89b1bec9619a6a9ad8af95728ce972f (diff) | |
download | oss-fuzz-f0df2d675c9eda440a52fc8480f9355a1fe8fdf9.tar.gz |
Move detect_repo.py script into /opt (#3337)
Diffstat (limited to 'infra/build_specified_commit.py')
-rw-r--r-- | infra/build_specified_commit.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/build_specified_commit.py b/infra/build_specified_commit.py index 13965f141..fb570726a 100644 --- a/infra/build_specified_commit.py +++ b/infra/build_specified_commit.py @@ -82,7 +82,7 @@ def detect_main_repo(project_name, repo_name=None, commit=None): docker_image_name = 'gcr.io/oss-fuzz/' + project_name command_to_run = [ 'docker', 'run', '--rm', '-t', docker_image_name, 'python3', - os.path.join('/src', 'detect_repo.py') + os.path.join('/opt', 'cifuzz', 'detect_repo.py') ] if repo_name: command_to_run.extend(['--repo_name', repo_name]) |