[infra] Do not pass empty port value to docker. (#4110)

This commit is contained in:
Max Moroz 2020-07-10 15:49:46 -07:00 committed by GitHub
parent 47484451d5
commit 33295d69f7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 2 deletions

View File

@ -751,12 +751,16 @@ def coverage(args):
run_args.extend([ run_args.extend([
'-v', '-v',
'%s:/out' % _get_output_dir(args.project_name), '%s:/out' % _get_output_dir(args.project_name),
'-p',
'%s:%s' % (args.port, args.port),
'-t', '-t',
'gcr.io/oss-fuzz-base/base-runner', 'gcr.io/oss-fuzz-base/base-runner',
]) ])
if args.port:
run_args.extend([
'-p',
'%s:%s' % (args.port, args.port),
])
run_args.append('coverage') run_args.append('coverage')
if args.fuzz_target: if args.fuzz_target:
run_args.append(args.fuzz_target) run_args.append(args.fuzz_target)