On Tue, 12 Jan 2021 11:58:30 +0000
Alex Bennée <[email protected]> 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="..."
Or am I missing some part of how this works?
--
Alessandro Di Federico
rev.ng
