helper.py: make shell compatible with build_* (#9959)

`infra/helper.py shell project` used to open docker container with
different volumes mounted than `infra/helper.py build_fuzzers project`
Use the same logics in shell for project workdir calculation as it's
used during build procedure. This way we may easier troubleshoot build
issues in shell.
This commit is contained in:
Sergey Bronnikov 2023-03-20 18:09:24 +03:00 committed by GitHub
parent 80fe037a1d
commit 8b6e3966c7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -1644,9 +1644,10 @@ def shell(args):
run_args = _env_to_docker_args(env)
if args.source_path:
workdir = _workdir_from_dockerfile(args.project)
run_args.extend([
'-v',
'%s:%s' % (_get_absolute_path(args.source_path), '/src'),
'%s:%s' % (_get_absolute_path(args.source_path), workdir),
])
run_args.extend([