diff options
author | Max Moroz <mmoroz@chromium.org> | 2020-07-10 15:49:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-10 15:49:46 -0700 |
commit | 33295d69f7426b60c99db6c5596ce78056a53920 (patch) | |
tree | cc1c1ce54e1fe19d8c496301e34eb2025f5f3310 /infra | |
parent | 47484451d54b9912276ba1061552846190fea0a1 (diff) |
[infra] Do not pass empty port value to docker. (#4110)
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/helper.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/infra/helper.py b/infra/helper.py index 22c81984..de1684a5 100755 --- a/infra/helper.py +++ b/infra/helper.py @@ -751,12 +751,16 @@ def coverage(args): run_args.extend([ '-v', '%s:/out' % _get_output_dir(args.project_name), - '-p', - '%s:%s' % (args.port, args.port), '-t', 'gcr.io/oss-fuzz-base/base-runner', ]) + if args.port: + run_args.extend([ + '-p', + '%s:%s' % (args.port, args.port), + ]) + run_args.append('coverage') if args.fuzz_target: run_args.append(args.fuzz_target) |