Alessandro Di Federico <a...@rev.ng> writes:
> On Tue, 12 Jan 2021 11:58:30 +0000 > Alex Bennée <alex.ben...@linaro.org> wrote: > >> > - for filename in args.extra_files or []: >> > + extra_files = args.extra_files or [] >> > + extra_files += glob(basename + ".*") >> > + for filename in extra_files: >> >> Hmm not so sure about this magic. What's wrong with the existing >> --extra-files mechanism? > > I'd be OK with using that, but how can I automate it? > > It is my understanding that `--extra-files` is only set by through the > EXTRA_FILES environment variable. Therefore the user should do > something like this: > > make check-tcg \ > DOCKER_IMAGE=debian-hexagon-cross \ > DOCKER_CROSS_CC_GUEST=hexagon-unknown-linux-musl-clang \ > EXTRA_FILES="..." I'm confused - extra-files is while building the docker image, not running it. > > Or am I missing some part of how this works? Add an explicit rule in Makefile.include: docker-image-debian-hexagon-cross: EXTRA_FILES=foo.bar -- Alex Bennée
